{"entities":{"Q3221398":{"pageid":3232106,"ns":120,"title":"Item:Q3221398","lastrevid":48781195,"modified":"2026-01-05T20:35:23Z","type":"item","id":"Q3221398","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3888909"}},"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":"Q3221398$74CE29CB-35D2-4D26-9684-EE1FB6C6956D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc22a4106aecf43adfb3da200a3c46d6d6d0068f","datavalue":{"value":"0557.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3221398$C7B2008F-88A5-4979-835F-C196FDAEA08F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3221398$59863D23-67BE-4D4D-8EBC-5D4B5FA400EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3221398$BB8311A1-9732-4CF8-B768-09222DEE96C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3221398$4E483A93-F3E3-4BF5-94D7-D13E6469282E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3221398$2F020D92-5186-458F-9FD1-DBE466AF4539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3221398$407C4991-3CF0-4EDD-B4E9-E0EFE1D8DE0C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4ea06771f42efefb7d0dc98a49bb3ab8dafe80c","datavalue":{"value":"3888909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3221398$E159E770-52F0-45EB-A0B6-492DA9EF1904","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3221398$A9D5EC30-567F-4876-8CDD-58B18AB7F62E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"902bb96bd7b013d323eaf0bd22f175083ba1743e","datavalue":{"value":"tense logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3221398$B91CF674-BD55-4670-8CA9-AB5DFABD5863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d9c2e1f00facc619242af9af43a4aae006f38ad","datavalue":{"value":"transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3221398$29F8FA5E-C5BC-4422-87F3-4EDD93647C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"731e0be234103858d8a68af08d200366ba1bc981","datavalue":{"value":"infinite computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3221398$48853E60-E6C4-41F3-9BCF-AC72045F45B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e3d278e5c1ed918bc8fb4596484339a3e4a8251","datavalue":{"value":"Hennessy-Milner Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3221398$D86E3AC1-54D8-4B0D-8357-E59E725CC3C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07545e3190c10d222c4524317f97cc37cdf2b23f","datavalue":{"value":"behavioural equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3221398$EFBC03A4-3F5D-4C7F-BEA8-F97C989C6446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3221398$775C32F9-CB7A-4EF8-AE6E-5845FC5FCC1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2577d9da8edee17f4dd311dd2779d86966c4183f","datavalue":{"value":"relativised past tense operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q3221398$D4508B78-165B-4319-AB18-B948379B8319","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4defb854fecd50f7286406c1c01a07626e69744","datavalue":{"value":{"entity-type":"item","numeric-id":1138390,"id":"Q1138390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3221398$DD79AA43-FBB0-4195-9F0F-2F29898258F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ce81edf234ea7bfc3d1909d28c15a8f64492427","datavalue":{"value":{"entity-type":"item","numeric-id":578895,"id":"Q578895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3221398$622F5DF8-A037-4B15-AC57-647D89DFE078","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":"Q3221398$CBAD27DD-97FB-4BAB-B6FF-86BCD6759728","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"309f995ebfc814203ab1311d6199f66c932e719f","datavalue":{"value":{"entity-type":"item","numeric-id":789895,"id":"Q789895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2221fc91cc2d86554de944f5f71f387fbe9ccc90","datavalue":{"value":{"amount":"+0.762362003326416","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":"Q3221398$A20F2560-8F42-499E-81AC-00169E6E11D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e635da9428ddd89dc603f298313db968233a9348","datavalue":{"value":{"entity-type":"item","numeric-id":4733399,"id":"Q4733399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8f65fd88f42c62d6045f9fe6e48743c316c4f2b","datavalue":{"value":{"amount":"+0.7616629600524902","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":"Q3221398$256C3EF6-CD98-45DC-8EF7-76EC55C3F397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"241542c203fc370a7ab0c732e13088b75fb3ff44","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b2094c50748610a530c4f1c91295017c31cdcee","datavalue":{"value":{"amount":"+0.7588728070259094","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":"Q3221398$EBEAA433-8724-4916-8D0D-8238434F317E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"748ecc2376786718a06446352f0527024584f94f","datavalue":{"value":{"entity-type":"item","numeric-id":3482822,"id":"Q3482822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cffd64f1897475353ec269a6aff71a4b1163e3f","datavalue":{"value":{"amount":"+0.7586269974708557","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":"Q3221398$F74A54C5-CB89-492C-A2A9-7E72965BEE1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"902a986642b6518bd3e07925a8b892e2d8f24f8c","datavalue":{"value":{"entity-type":"item","numeric-id":3791122,"id":"Q3791122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"311e681f6dedf30e64bcf6c281c41ceff5f893af","datavalue":{"value":{"amount":"+0.7581409811973572","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":"Q3221398$B34E567C-7AEC-466E-84FF-CA896DE6E941","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3221398","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3221398"}}}}}