{"entities":{"Q4945225":{"pageid":6974807,"ns":120,"title":"Item:Q4945225","lastrevid":47471410,"modified":"2026-01-01T20:18:20Z","type":"item","id":"Q4945225","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1424035"}},"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":"Q4945225$D5D6C80F-DF96-480B-A5AC-5A677D2CA590","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dcc6851f12d130395e47816757956dce460a2ca0","datavalue":{"value":"0942.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945225$B6675EC7-023E-4C07-A56A-5A228866230E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81c83c28843efefafe1f80734e19c2e6ff309a9c","datavalue":{"value":{"entity-type":"item","numeric-id":213104,"id":"Q213104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4945225$6ABBE6F9-2148-496C-B69F-9A1E5A7C6A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc6828000455d6a95d0c2ee169c20b1ba0a23b3b","datavalue":{"value":{"entity-type":"item","numeric-id":472793,"id":"Q472793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4945225$EC468F5E-0BFF-4977-BA6E-50CFB977B7BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b75bb4814c2bf285f873da0d0a308eb99ddd7a4c","datavalue":{"value":{"time":"+2000-08-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4945225$27F4CF60-F8EC-403E-ADAF-71FED1818C58","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945225$2A40299F-67AD-4609-9049-3D320CFDDD75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945225$2BD55358-757E-4DB2-B02D-4BFF3E858A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945225$A9B5A9F0-3D59-4349-A61C-7140E86D76FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0218e612cbf232a87d0275ce082b0545f102776c","datavalue":{"value":"1424035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945225$ECE54314-3BBB-438D-9876-5C2106880BC7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945225$6B10A382-4AC6-42B8-953A-4AE203E830CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"048dab55940c5c060a72a2bbad5f3dabbb5c4f18","datavalue":{"value":"Mazurkiewicz traces","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945225$9AC34F3B-E832-4FB2-8550-FF01640D53B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c8daa1f24e803473f508471ebd9add09a92da99","datavalue":{"value":"model of concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945225$4A6F1D5B-B550-452D-9FDB-10DF87698293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b00c383418dcc7f93ccd72284943d81460b3f068","datavalue":{"value":"linear time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945225$DC5FE683-1FE1-4C93-AFE0-10EC74AA1AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43ad2ce2af861a70d9f39f2b3931fca1bceb4f59","datavalue":{"value":"future tense modalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945225$6D4DF85B-CBEF-46F8-A255-0838A0D09F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85fa719687a863a2711abb88df1c8caf1ac555c9","datavalue":{"value":"expressive completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945225$6F68BA3A-250B-48B4-82FF-6C4DE1B927A9","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":"Q4945225$85E095B3-6C23-4059-821A-B9DDED8CED06","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33e45e84af58c56f646c20ab46e110f7bce0bcdc","datavalue":{"value":{"entity-type":"item","numeric-id":2506491,"id":"Q2506491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5634c7a2c5997e8d0572f4451d4608bae7c0c94e","datavalue":{"value":{"amount":"+0.8830854892730713","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":"Q4945225$C78F9EE8-6513-4B95-A32D-A287D241EA87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a5ee4bb34c42a89852a79509c5fde9f66f6a3d6","datavalue":{"value":{"entity-type":"item","numeric-id":859824,"id":"Q859824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f74a7de3a1c0cb136504db52efd46274a764cf9","datavalue":{"value":{"amount":"+0.8792891502380371","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":"Q4945225$7FD7A119-EB66-42A5-9574-2DA9BACE796C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b47af86bcb1c4461d26381a55bb4edae06c121be","datavalue":{"value":{"entity-type":"item","numeric-id":1608324,"id":"Q1608324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"187e52e3155c43ec47ef857d7ab30c96bdb268d1","datavalue":{"value":{"amount":"+0.8779033422470093","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":"Q4945225$4A663091-2B1B-4935-9821-0E30A9542979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"454051d54ff0a92ac647987647e7c47a4eee4192","datavalue":{"value":{"entity-type":"item","numeric-id":2754145,"id":"Q2754145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"887acd8d7679be7b70ca868e22797f6359180d73","datavalue":{"value":{"amount":"+0.8772326111793518","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":"Q4945225$24DEEE29-03BA-45BC-AA2B-04A55DA69391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"771c17044fd2d01bef082de82391d70331d1a4e8","datavalue":{"value":{"entity-type":"item","numeric-id":4737221,"id":"Q4737221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f1e9a8e537afcd8e9e715ebe09589babe9d9766","datavalue":{"value":{"amount":"+0.872564971446991","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":"Q4945225$ABB1D4F7-04E1-4779-8A33-6A1AFB792E6B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4945225","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4945225"}}}}}