{"entities":{"Q2767102":{"pageid":2777841,"ns":120,"title":"Item:Q2767102","lastrevid":47731564,"modified":"2026-01-02T13:37:34Z","type":"item","id":"Q2767102","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1696834"}},"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":"Q2767102$C97F0D2C-CA1B-46AC-8095-E171B1F4CDCD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b63ce729d327269453543c9431f77dc4eb9a6f6","datavalue":{"value":"0983.68188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2767102$F402F36B-6350-4049-A133-4E2DBDF94B17","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"899cf3cff185b2ae88b155ff1367e0caa2541327","datavalue":{"value":{"entity-type":"item","numeric-id":2767037,"id":"Q2767037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2767102$08C01369-34A6-4F49-80F0-C245790681B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f18d6b5c094a5b54491448ffca180723301eb8f","datavalue":{"value":{"entity-type":"item","numeric-id":418180,"id":"Q418180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2767102$28CBBCB9-6C98-4333-896D-DD13F81886BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"add45323944bf63dbd1dd63bd05c680569804e5c","datavalue":{"value":{"time":"+2002-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2767102$DFB2C3BC-E677-4CD4-9C6A-5BC724A4F3A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2767102$6BBD36F8-8F7A-4E60-8DDF-B701B5A9FDA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2767102$E3AE1550-669C-43C7-8717-5497D48ED311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2767102$F232FD35-D67C-4004-A614-4854AD6B1372","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af1be1ab23f833ea6af6a18c0ceea6264a448092","datavalue":{"value":"1696834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2767102$277E0B4B-D893-4196-8173-B01C2437FF0E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bf11dbf64b8b83328e794917fa8293cae6c6d42","datavalue":{"value":"reasoning about action and change","type":"string"},"datatype":"string"},"type":"statement","id":"Q2767102$E0AF61A1-2431-4E11-BCFE-02B79BD38185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eee712f5493e3529f5d91554ac3bcb956b2a1781","datavalue":{"value":"fluent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2767102$07E69E82-7FCC-461D-8F2E-387D0296DF4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2767102$FC41CABE-0899-4CC7-994A-4C69DA713957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2767102$92D7C197-F13E-44AE-A1DD-B4BA00274EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2767102$85F56BDC-957C-4B88-96A2-AC41E64D308E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2767102$7D936C2F-395E-45CC-A103-B79C349FF67D","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":"Q2767102$CA5E229C-C447-40E1-ADFA-9635399DFC80","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f42eb3a43293289120a3c6e1942c65d53f0d6b9","datavalue":{"value":{"entity-type":"item","numeric-id":2767036,"id":"Q2767036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1671f97c2633c2572acde3e689379d4fc4385554","datavalue":{"value":{"amount":"+0.8405753374099731","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":"Q2767102$A46D5CEC-EF17-4074-923C-531D031EC3B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2d700b44fb0be5e97520b1f97d6627e77a465a2","datavalue":{"value":{"entity-type":"item","numeric-id":2767101,"id":"Q2767101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81153cc1333822a50b1c9140b0cfdb793f085650","datavalue":{"value":{"amount":"+0.7779239416122437","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":"Q2767102$72DB6461-9C9B-43F9-B94C-F92565C82A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9577de25ebbf099bbe8ae9cb00b4613b3b1e94ee","datavalue":{"value":{"entity-type":"item","numeric-id":4530466,"id":"Q4530466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40821181674115ed4655001b0550f5603e828d94","datavalue":{"value":{"amount":"+0.7394936680793762","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":"Q2767102$20FDF0E8-FBAD-44E2-8BA5-683DAAFB5FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f93281f2a10c51b96c112163263581286fe0ad24","datavalue":{"value":{"entity-type":"item","numeric-id":2767100,"id":"Q2767100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11457ec6f2599c6915e9f29292c7e0d6761353f4","datavalue":{"value":{"amount":"+0.7349156141281128","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":"Q2767102$C95DA490-1630-4425-9BFE-96F58ADF44A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d83cbe6b62ff9596d3e96c2e7d14fd54b4cd7111","datavalue":{"value":{"entity-type":"item","numeric-id":5945924,"id":"Q5945924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0294e324e89bca6576f383ca88b36126216f64d0","datavalue":{"value":{"amount":"+0.728704571723938","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":"Q2767102$9142B12E-93A4-4B45-B730-C272CBCD7F68","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2767102","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2767102"}}}}}