{"entities":{"Q4037108":{"pageid":6066826,"ns":120,"title":"Item:Q4037108","lastrevid":55246591,"modified":"2026-02-05T06:59:18Z","type":"item","id":"Q4037108","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 177254"}},"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":"Q4037108$F01177D0-94A6-48ED-B76C-89BA696095D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7ff511e6c83a8ca872c6d804f2b0fffd991e4be5","datavalue":{"value":"0786.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037108$D50D31E7-5662-44DC-AFCE-282458C26D4E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"027a8d6ba912dce3a5dee63eade531c0ba4f4a36","datavalue":{"value":{"entity-type":"item","numeric-id":1327382,"id":"Q1327382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037108$CF81400D-3E47-4C25-BD55-D0625C674384","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"abd8d5e490ea4daf6d00f9dd2f897565e059b6cc","datavalue":{"value":{"time":"+1993-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4037108$16C51346-F95E-41C4-82EE-4483C25DFC4C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037108$580AA939-A9F1-4C62-A330-87C2B73F9675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037108$5141A20A-0CCA-434A-A942-123FDD02DBCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037108$160B90D6-A54D-4A06-848C-48FF32CF2614","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea0a7f36a742b4b7f5e802e29693613cab6d9dec","datavalue":{"value":"177254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037108$50FC64C7-CFD9-4331-9AD2-CC22B6FAF8F2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8f05b54ae6f00faafec6d21156676f0d377ede3","datavalue":{"value":"trace automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037108$EE5D44C8-2E8E-421F-99AB-CA02B8425873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b52c11253037b32dd267da2383784edc9fe05b10","datavalue":{"value":"one-safe PIT-nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037108$1E1A6BEA-2F10-4324-925F-FF8071225F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037108$D2C19221-4816-49D9-A76B-A5B8C9157832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13152317a5308ba511c3f948ae6901623e19c93f","datavalue":{"value":"concurrent finite-state systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037108$6CFEF7B2-9D21-4BA5-AEF9-DEC0D86E0706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4baf91038dc08bcf3f3ad6fad3bead546460e5a1","datavalue":{"value":"modeling of concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037108$1ABCF68E-860C-41CF-8C8C-64C89D702AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bbd3ab7bf1fbafed768194a39eff6e0454fe108","datavalue":{"value":"partial orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037108$C3D08BCF-D051-45EF-BB38-67B1B7EDD12C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0c85cf6d001d5c77f4d92083012ac658bc585c9","datavalue":{"value":"Mazurkiewicz's traces","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037108$B3F41CED-C40E-4086-9C59-76A5D1055573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037108$035E8BD3-BF3B-4BDE-A4C8-1CB90CEB9AD3","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":"Q4037108$2ADB269D-5F4C-4593-9451-83D7743A8974","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aee0f87c37757ebf208a511a6c817e3e0be7699","datavalue":{"value":{"entity-type":"item","numeric-id":4037382,"id":"Q4037382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"281e3d3213193c42f2f48f44e208b77b85a6a218","datavalue":{"value":{"amount":"+0.9980849027633668","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":"Q4037108$7B51E31D-3CD7-4AD1-BC4E-E42B8CFEBD55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2e98bd4c932342579ceaa19841cf9af737500e1","datavalue":{"value":{"entity-type":"item","numeric-id":4038718,"id":"Q4038718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"281e3d3213193c42f2f48f44e208b77b85a6a218","datavalue":{"value":{"amount":"+0.9980849027633668","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":"Q4037108$ED1CD8BC-EBE7-41A5-A428-6B3019397F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41b0d5db590ea969e7aa01848f74c705bbeb162d","datavalue":{"value":{"entity-type":"item","numeric-id":4353640,"id":"Q4353640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1b44b6b4a7a9bae1ff50acd82eb1bbfe03f3d42","datavalue":{"value":{"amount":"+0.8364124298095703","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":"Q4037108$6F71D5AC-B39D-4E51-A7E4-5321DFA9A177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10bf39d3a4c20a3eddb443195153bd56cfdf1033","datavalue":{"value":{"entity-type":"item","numeric-id":1910794,"id":"Q1910794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cc41891d08194d70d3edf34f22cfb29c27c3ed9","datavalue":{"value":{"amount":"+0.8354843854904175","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":"Q4037108$74699859-F215-4D1E-BC5A-9A6C087F1CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efe5f90373a2ba273b2c85cf156f0ff8b60e305d","datavalue":{"value":{"entity-type":"item","numeric-id":4353635,"id":"Q4353635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"502bbcc167ecb96a6fb133041bd94f4696278dfe","datavalue":{"value":{"amount":"+0.7830650210380554","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":"Q4037108$75ABC9A7-2681-4A7A-99B6-5E776568CFC2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4037108","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4037108"}}}}}