{"entities":{"Q4202931":{"pageid":6232532,"ns":120,"title":"Item:Q4202931","lastrevid":47184937,"modified":"2025-12-31T22:53:04Z","type":"item","id":"Q4202931","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 408787"}},"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":"Q4202931$1CD8FEB2-4EF2-4462-9579-3697C46A79BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2cf2c379093257ca389fab9151f162895a199e86","datavalue":{"value":"0819.68083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4202931$DA8FED96-CED2-4322-8EFD-15B4C0323361","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4c9bd5e841d4bab29501a8da2aade8a8cab81a9","datavalue":{"value":{"entity-type":"item","numeric-id":218983,"id":"Q218983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4202931$8C2A6404-DB50-4E8C-B986-B358312577A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e47b8a1818346ce22bd45f99ec3c619fd43a6a3","datavalue":{"value":{"entity-type":"item","numeric-id":264200,"id":"Q264200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4202931$2EB178F4-A8C6-41E7-9593-EE34DC413C57","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1016c7e6217ba6f9fc4fe7e518f619aad78f491c","datavalue":{"value":{"time":"+1993-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4202931$21C0590C-13C9-40C8-82E8-65D635A05CB9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4202931$D8CB0FF0-C1B8-447B-9B7C-F00E514A4486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4202931$A7EC0528-3FD6-4083-AA74-79725BA6B42C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4202931$C58CBB8A-F34D-4DB9-9AAC-AFCA1011B642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4202931$DA066E0E-2E14-418C-A6F9-CDCBF65A31E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a31e3200f3dfc1d1c1f1221e852d0be562285b2","datavalue":{"value":"408787","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4202931$E9FE9BF9-A4CD-409D-B204-5592310E8249","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f51c66d33fce36389c9ada5efa14a02c1b0ce10","datavalue":{"value":"modal logic semantics of concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4202931$8B067B76-763E-49BF-9D6D-8007E3E294BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccdf8f2fbba04b07ec955b0835adc6dd9959e651","datavalue":{"value":"persistent Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4202931$94455BFF-25C3-4F37-B557-9A92F2A8B9DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4202931$17BE2989-CBF2-4AD0-94AB-598E237D94A2","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":"Q4202931$D1477287-902F-4FCE-8782-E78D9FA95328","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fc83848c0d486b71ce3a78b9ca6522a9739baf3","datavalue":{"value":{"entity-type":"item","numeric-id":2842854,"id":"Q2842854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b785da70df50fd4675e96c1186a19b001fa65529","datavalue":{"value":{"amount":"+0.7933927774429321","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":"Q4202931$5266494A-45D3-4CE5-8425-7629992A84E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b9ec0decb7be3be1b5b97b74f6d05bf61c3d572","datavalue":{"value":{"entity-type":"item","numeric-id":6487366,"id":"Q6487366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6eac6b02abfcb42c75c1e2e22b7aff139d6aee1d","datavalue":{"value":{"amount":"+0.7903347015380859","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":"Q4202931$34D5CD0E-2183-4961-ACD3-DC62431BD3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f27b0685b28cd60f94d63ebc03be03f4eeb199a8","datavalue":{"value":{"entity-type":"item","numeric-id":3082923,"id":"Q3082923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7805c3f270179d554ef3a5ff56ae558732b3c5b3","datavalue":{"value":{"amount":"+0.7862584590911865","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":"Q4202931$9662FD45-C3D7-4776-95F0-5B45241F95F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e84b6344986cc52961cc02df09f34681c2834e6","datavalue":{"value":{"entity-type":"item","numeric-id":1920224,"id":"Q1920224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1ae4379b243db1d70c74cba2895028d3eed9c8d","datavalue":{"value":{"amount":"+0.7855373024940491","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":"Q4202931$4AB9C9E2-657D-42BD-BBDA-50148B281FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad0fc6ef197a9b760a2f0b31c4c5d54e1acf2848","datavalue":{"value":{"entity-type":"item","numeric-id":4951403,"id":"Q4951403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8a2f89878e9a56b1a43ceecd8ba6edb77ddb347","datavalue":{"value":{"amount":"+0.7832943201065063","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":"Q4202931$88B2598D-4EFF-445A-B9F0-442E76795633","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4202931","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4202931"}}}}}