{"entities":{"Q4032309":{"pageid":6062045,"ns":120,"title":"Item:Q4032309","lastrevid":55233580,"modified":"2026-02-05T03:28:47Z","type":"item","id":"Q4032309","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 149518"}},"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":"Q4032309$83C25549-BD40-4190-B43C-D77CADAA6CAE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c8fd3206f99325a79e1e7a887a9e0a73aa3fdf4","datavalue":{"value":"0766.68099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032309$C9219E08-5455-4FBE-BCBA-97E88DDB90F7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f11d29d2cbdb03c4d5ff90d92cbc2f1d658ba97d","datavalue":{"value":{"entity-type":"item","numeric-id":391197,"id":"Q391197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032309$8DC2CB33-8143-469B-A403-847356591278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e8b38f0566e6f49211d95c340d70a07b86b6611","datavalue":{"value":{"entity-type":"item","numeric-id":746488,"id":"Q746488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032309$5631521D-84B0-473E-B739-DE9FF0057644","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8604b2a4c08e4f5e10819826d060da1f7baa01ac","datavalue":{"value":{"time":"+1993-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4032309$34B40CAE-0F50-4614-A980-B883ADC3500A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032309$B626E268-39D6-4376-AB78-96A430A5398E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032309$613E5BEA-4A66-4808-98BE-EAB4F1AD985C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032309$ABD5C777-72BC-4AA5-824A-E2FAEFBB68D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b81b1004e0700e86a3e5cf8481849015f6dfd94e","datavalue":{"value":"149518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032309$7A47741E-3E5D-4BCE-910C-DA43EA16CD06","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0bc1cc50e8d4b517f651118878724606a4faacd","datavalue":{"value":"reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032309$2F0BB7AC-6AC3-4AC4-AE52-6D798BAEC7D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4752c09cf731d1ad75f442b74d94faa3296dfd06","datavalue":{"value":"probabilistic automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032309$ABB56672-CAE6-4BC5-AB54-CA97973C02BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3c924f356cbb5347bdf86b2d80a09e159df93e7","datavalue":{"value":"bisimulation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032309$2BEC9C31-4C62-4049-AF68-1EE5796BBCED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0726403ab9001a9fdf4e24f5b17bcf900ddafd68","datavalue":{"value":"readiness equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032309$F86FBB1C-2474-40C7-BEC9-E40ED3423B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c02085c9225090667e1a40d036eec69f14295ac","datavalue":{"value":"failure equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032309$8F156511-D9B0-44D4-BD8A-D8F5E68FCC77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a57f448d3d46db77a29981b20638773aaad2e68","datavalue":{"value":"trace equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032309$DE70EE40-5FAE-4225-8A3A-DEBBCEB74D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b56bc2d9a8c5e393524f141e7c27cc6f73168e71","datavalue":{"value":"maximal trace equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032309$1BC67A25-75D9-482E-AF4A-36B7A9C6C795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"722a7b1b8f9bc53f2727a523d9a6a6a8eca23596","datavalue":{"value":"finite trace equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032309$E08EFB75-CC3F-4FE6-BD69-D9F582EE4322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b68ff4406d872f13688c82ffa31a0452f376acbe","datavalue":{"value":"probabilistic labeled transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032309$00401FBC-C84E-4774-8E77-4F1338C2F12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2a753d593f4807dc5d76e87bd508aee0bd8dfae","datavalue":{"value":"initiated labeled probabilistic transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032309$C619E998-7751-47CB-B3A8-9F8E9825EEBA","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":"Q4032309$C9FF3849-B9E6-405A-919A-298E9DF843FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a891728df5723943b77f7af401f6fac27a3b5b6b","datavalue":{"value":{"entity-type":"item","numeric-id":1975973,"id":"Q1975973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e15b0eb99ad671281df3fb85825bbd872d91dc2e","datavalue":{"value":{"amount":"+0.8625671863555908","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":"Q4032309$E552F0A0-C511-45EB-8B31-C42C236F63DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb98f4f5601711e9682e4b03355c64db8a06e5a7","datavalue":{"value":{"entity-type":"item","numeric-id":1798789,"id":"Q1798789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbcb9480aee87d82dfed597524fe6af8579758a5","datavalue":{"value":{"amount":"+0.8281378149986267","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":"Q4032309$E9452113-9E09-4938-9CAD-AB5C57754512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"552c48f1c538e252112cef596595d2b8f3a84bbe","datavalue":{"value":{"entity-type":"item","numeric-id":2482725,"id":"Q2482725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79201eedb3ee2001d1bbf106e2e187158c1fe26e","datavalue":{"value":{"amount":"+0.8225988149642944","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":"Q4032309$8FDC0944-69A4-4727-97A2-AA077DFD1802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad61201d57158c30f31d86e3c9758d60fc0f2ebf","datavalue":{"value":{"entity-type":"item","numeric-id":5311474,"id":"Q5311474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4977b2a6690f945d55138a76acb8636c49877b1d","datavalue":{"value":{"amount":"+0.8225986361503601","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":"Q4032309$A91D7945-03AB-40FC-AE37-11BBBF6D1FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f59fcd5990d17143e4f36296d4d904cff771706b","datavalue":{"value":{"entity-type":"item","numeric-id":4484499,"id":"Q4484499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b5b033e4b5c93b905ea5c54dde8d708af5104cd","datavalue":{"value":{"amount":"+0.8213464021682739","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":"Q4032309$E9545270-E632-4D97-923C-3D48E79F0941","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4032309","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4032309"}}}}}