{"entities":{"Q5277722":{"pageid":7307297,"ns":120,"title":"Item:Q5277722","lastrevid":52850390,"modified":"2026-01-23T15:42:25Z","type":"item","id":"Q5277722","labels":{"en":{"language":"en","value":"From linear time to branching time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6743965"}},"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":"Q5277722$59955251-0C72-4C5C-A6E2-034084C4F242","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"964333434abd00044ce8157376b1c648ebc3572c","datavalue":{"value":{"text":"From linear time to branching time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5277722$9A5C28EE-EAE4-48F2-AEB2-E0F12A3D5F40","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00fc5e8a696462a9b403095f39845c8a10a47d2e","datavalue":{"value":"1367.68195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277722$3766CA3A-0D6A-4305-B7A2-0CAF58E17971","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f92ea0b7229423464d9ab675a86774602dc2de49","datavalue":{"value":"10.1145/1055686.1055689","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277722$9E8F7692-7A6D-4E8F-8B97-E70FD244110C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3315bf391c0a058853db1fdd065cc2cb8ff023ce","datavalue":{"value":{"entity-type":"item","numeric-id":216121,"id":"Q216121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277722$B07865FD-3940-4E9F-9682-596577DDF663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277722$2CCC99BF-7352-49DD-AC91-E41EEC8A7366","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277722$5C9F06E4-A88F-42AF-8D5F-7C678DE997CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da4ed36bae8b600bf66a15aabe0c472becc2ce16","datavalue":{"value":{"time":"+2017-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5277722$8844B73B-D571-4963-A876-71ECBC74EBA4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277722$569165E4-CF54-43BF-866A-C35EA973862C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277722$30CB25F5-65FA-4F4E-800B-E92A206E1BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277722$6C222176-FC25-4F11-B52E-D61A64E5A4B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87a95df9fcb210170ef9924a500686e50caa361b","datavalue":{"value":"6743965","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277722$3FEAB307-1D96-4558-97F6-6E0B4CABB01D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277722$E838E35C-44DF-4CDD-866A-36008B4229C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbde10cedceda0239ed20089b2b6fe36027298c8","datavalue":{"value":"alternation-free \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277722$51D693A6-DA54-420E-A2E8-8510DCE0DC46","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":"Q5277722$4CA294ED-061D-4C84-993F-C9A887F545D2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"35e65fd7a6be2ade22f90b268255414ea6c38935","datavalue":{"value":"https://doi.org/10.1145/1055686.1055689","type":"string"},"datatype":"url"},"type":"statement","id":"Q5277722$3476633B-2C4C-465C-9C69-9994D8799A29","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5a1c560a2a34fd910c2c4a91a0356d55616a90f3","datavalue":{"value":"W2020617153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277722$5D918D69-62A4-4DD4-BA5F-C083CCEB0BDE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66d1c7e76d13bfc5d038e3af467c3330293a350f","datavalue":{"value":{"entity-type":"item","numeric-id":1801498,"id":"Q1801498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e02ad59d118951d811b79818e866637bcf78a8d","datavalue":{"value":{"amount":"+0.8529505133628845","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":"Q5277722$3B02D7FE-27AD-4AF3-B178-327AF1B6EB03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f8937cea3dc92b7b902f1347931d6132e07e9ec","datavalue":{"value":{"entity-type":"item","numeric-id":4251911,"id":"Q4251911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6478781bf2ccf487e40e269d5c243cecafb94a16","datavalue":{"value":{"amount":"+0.8331907391548157","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":"Q5277722$D6951262-F8A3-43EE-A92D-DE60058ED76E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14396cd9bd793a2ddf8fa5ff64e5c9589086b357","datavalue":{"value":{"entity-type":"item","numeric-id":5941205,"id":"Q5941205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22ea60701bee6c3d74cd45be0fb8c049e3eafff0","datavalue":{"value":{"amount":"+0.8220041394233704","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":"Q5277722$EEDE8320-7114-414F-BD72-65CDB5EEA3D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d80d257f546db88b5e5282054536c686f95de29","datavalue":{"value":{"entity-type":"item","numeric-id":1870865,"id":"Q1870865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0e2200e2acf3e87b8edc2157eb7c9cf58c70df9","datavalue":{"value":{"amount":"+0.8173308968544006","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":"Q5277722$DA110C47-0058-4C67-81B0-05FDC94CED87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6def29c8473e82c891650ee23e5458d6b36c19c7","datavalue":{"value":{"entity-type":"item","numeric-id":5385992,"id":"Q5385992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a3bc5759e26a9020afecac067702265b0a8e323","datavalue":{"value":{"amount":"+0.8161182999610901","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":"Q5277722$1B105266-2130-4C19-9896-9FA59A3B3A8E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5277722","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5277722"}}}}}