{"entities":{"Q5900685":{"pageid":8006877,"ns":120,"title":"Item:Q5900685","lastrevid":50958491,"modified":"2026-01-15T22:40:41Z","type":"item","id":"Q5900685","labels":{"en":{"language":"en","value":"Abstraction for branching time properties."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5695373"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900685$A21BA56C-B8C5-4E65-BF1A-416DF0EF15B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73bd069b212797cd1b716ecedbde3c2b856d1f40","datavalue":{"value":{"text":"Computer Aided Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5900685$1CA89FC8-6A61-4413-9A26-53AFB472B18C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a97206496fa96085459dbc1f97c4863f09bf73ed","datavalue":{"value":"1278.68186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900685$F2DA6E40-DA43-41BB-B8AC-324BB83A7EE0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6d395f9c3d46709760217670affc69e5e3a2383","datavalue":{"value":{"entity-type":"item","numeric-id":784102,"id":"Q784102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900685$74CE5723-27DA-4510-A08A-60489A8A05D8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900685$474AE30B-0A2D-4964-9484-C4A73391A865","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c61bb6d282cc95675f5b726985d020f8b0e6f23","datavalue":{"value":{"time":"+2010-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5900685$AC921329-424F-4D60-B558-93276C89EB2D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900685$0E815DF8-7EBF-4242-B74D-149D6E4BD6A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f262ce95c626f3b0fd545df7ecdf9836a24ec78","datavalue":{"value":"5695373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900685$F2BE51FE-4FD6-4E2F-9A0E-E350FA418F25","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900685$4BB3FFDB-0F8C-4389-8696-703C4BE9FB70","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"050caeb9facfc2b37142c301b40d1dfd9dbf1be9","datavalue":{"value":"https://doi.org/10.1007/b11831","type":"string"},"datatype":"url"},"type":"statement","id":"Q5900685$D8EDAA28-B390-4EEB-B55D-C99CC0D374AF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca9b9df0d9ff4e5d8e3d66da51426dae32b7ea5b","datavalue":{"value":"W1571340194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900685$0C85F6D5-0C07-453E-9873-073714023CAE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0bc3be280ea47ce2c61f3b7e2b376b1d1ce60a5c","datavalue":{"value":"10.1007/B11831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900685$CB613845-F7ED-4809-84B8-1D0F177F2696","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c11f0772c1208fd7ddf51ce4038b8f781a7ad79f","datavalue":{"value":{"entity-type":"item","numeric-id":3176371,"id":"Q3176371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dba62e84bb9f278e77ae7114aedfce9132e8f1e","datavalue":{"value":{"amount":"+0.8326590061187744","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5900685$668123A4-D9B6-44E3-A7B2-EC068D29D15B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dce5cfd9f03d9a0ba61f291e4026b26bede70abc","datavalue":{"value":{"entity-type":"item","numeric-id":4823139,"id":"Q4823139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a01195fe5fb89e266ace64da0ea18c5acd9d0d1a","datavalue":{"value":{"amount":"+0.7939794659614563","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5900685$8DA7DA51-A738-4F6F-9821-030041C0C995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b4a04319562abc379ce226aeba85b7e0444d2cb","datavalue":{"value":{"entity-type":"item","numeric-id":3522918,"id":"Q3522918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c9f3ed281167220d5fe750045a2a1e3ca9b870e","datavalue":{"value":{"amount":"+0.7860347628593445","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5900685$D25F1A07-807A-40D2-B39F-24DD9E7723B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ad03ff6333c3ed180eebe7337a643a70d2c0de2","datavalue":{"value":{"entity-type":"item","numeric-id":4791848,"id":"Q4791848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d214bab2cf7ededd6df9a627c2b200d6c0fbbbb2","datavalue":{"value":{"amount":"+0.7852410674095154","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5900685$8E809A91-16E9-4815-9AED-F094668EF329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5994b3094a9d612d490dbac88ab67ae56dbbef3","datavalue":{"value":{"entity-type":"item","numeric-id":5711491,"id":"Q5711491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc27504d113d659b97aa657d9a5edcf965a4dcaa","datavalue":{"value":{"amount":"+0.7833953499794006","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5900685$97FC13DB-6653-4BA5-B5FC-42D695249DED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5900685","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5900685"}}}}}