{"entities":{"Q4037109":{"pageid":6066827,"ns":120,"title":"Item:Q4037109","lastrevid":55246594,"modified":"2026-02-05T06:59:20Z","type":"item","id":"Q4037109","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 177255"}},"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":"Q4037109$502738AF-7A3E-4AEB-AC8B-AC9A045A4A3A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0fcf70ee33538d10e752213961c3007a03efca95","datavalue":{"value":"0797.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037109$0B78CC06-052F-4285-A3D9-F9DA8C5F0C79","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c5b6398977f19d3fbbadc0234cae6d8c44a315b","datavalue":{"value":{"entity-type":"item","numeric-id":1172383,"id":"Q1172383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037109$A125C1A6-4236-4CF0-883B-0EA41E06F689","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":"Q4037109$5167924B-CCA0-4324-8346-E7AA60570221","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037109$93C38887-AE60-4948-A03B-B26A945413C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037109$FC4B40A6-44F0-42FB-8E10-FBEB9BEDECDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037109$931019A5-4403-4019-91C9-4662CD1AC809","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3ad2741f3d1e6c09a9f77098ac3fd671cc2ca3c","datavalue":{"value":"177255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037109$7F279049-B149-49E4-B0FA-322FB22E5E0D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037109$2E0C55BC-475A-418D-B690-705DA8904B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db2c4226e8e86e1e1f02cc5ead167f218ce71434","datavalue":{"value":"Kripke structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037109$F607E615-5824-4BF3-9C87-C50C34CC38A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037109$D8D1D53F-D4A9-489A-A3B9-7A71A516DEC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb63acc7a020cebe7cce47165c61b912671493ec","datavalue":{"value":"modular specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037109$796175A5-3C63-4BC8-86D4-1BEF7F6C424E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e25171e8c28de1ba125377574b38bc39a443a6d1","datavalue":{"value":"reactive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037109$DBBD6A76-BF8A-4BD8-B156-7A92F11A5FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07e7987a524e93f9642693a9633d594af0f2bb13","datavalue":{"value":"hierarchical design","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037109$BF3E55A1-7B10-42CB-BC05-8437F3A06EEC","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":"Q4037109$286A6C88-6216-41FA-BA25-7FBAED6DE8B3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2491fba16174287676d3d97d40c6750dcc40ccf6","datavalue":{"value":{"entity-type":"item","numeric-id":4037385,"id":"Q4037385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97c9219d26587d7e7a80f00b948a889d64135cc3","datavalue":{"value":{"amount":"+0.97739524","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4037109$CDB24017-F5EF-4168-97BC-2FB72F60AF00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"400232ba4691acfe4926445e3151d1a5fffc7e06","datavalue":{"value":{"entity-type":"item","numeric-id":3800006,"id":"Q3800006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cb82b498b813f7d3131ea08bd116d276c30265e","datavalue":{"value":{"amount":"+0.89228064","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4037109$34F15BD1-F98C-4B76-99D5-A5E0530D904C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d48c36add58519433ad999f91a60cb11d55569c0","datavalue":{"value":{"entity-type":"item","numeric-id":3542104,"id":"Q3542104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cde7ca5a7b16ced7845537d22525ae715d9dbf33","datavalue":{"value":{"amount":"+0.88311684","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4037109$71FEF5F8-28D5-4D3F-99AC-5614092B4D8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96f5febf4275c3b75ce1190f56f9bb71a16a34f0","datavalue":{"value":{"entity-type":"item","numeric-id":1898483,"id":"Q1898483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3e098c6aee5d19c483c3e17e10b10733e49eab2","datavalue":{"value":{"amount":"+0.87801325","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4037109$A8CFACC6-4C11-434F-89F7-3A25EE07EDC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"550811e0833b8226cc90637b7a1088899782f07d","datavalue":{"value":{"entity-type":"item","numeric-id":4581987,"id":"Q4581987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c65fd2b54500939cd902820bdb8cd04f2749183d","datavalue":{"value":{"amount":"+0.8707888","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4037109$5D979D7E-AC3A-466E-932D-9D63D25EEC7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0e1a63f10cc6d438c803b7b4e431e8dfa9cd62c","datavalue":{"value":{"entity-type":"item","numeric-id":3600561,"id":"Q3600561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2710a7d30ae406996819651c922d4b3c42792804","datavalue":{"value":{"amount":"+0.85903007","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4037109$AAF75581-1599-45EF-8546-337CE9B00D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0b7d68011c12402392c24ba2fd9c6803fd4408a","datavalue":{"value":{"entity-type":"item","numeric-id":5034223,"id":"Q5034223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1af2c42312e71cfe1fb0c5b8cbae870a17f7d537","datavalue":{"value":{"amount":"+0.8551484","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4037109$A354DF52-6F08-4846-9441-B78D606C45A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35ea3629aa057b35f0f85e2e3fcd31991cced0be","datavalue":{"value":{"entity-type":"item","numeric-id":3010359,"id":"Q3010359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e313082e22ae7fc2e84d592553f6d1bde46bd3a","datavalue":{"value":{"amount":"+0.8536407","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4037109$2719DA6F-CCEE-416D-ABF3-A3F4344B61AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2b150d0e63367a7bdba2e8623b50293f17cb759","datavalue":{"value":{"entity-type":"item","numeric-id":4632440,"id":"Q4632440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb80fba5485463c68cd8f6284f054a9cd3c78605","datavalue":{"value":{"amount":"+0.852661","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4037109$4C2040E8-623F-4203-A126-2CC3C1893DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52973565d0cbcd4dae233c0856e8def424ee06b6","datavalue":{"value":{"entity-type":"item","numeric-id":2277447,"id":"Q2277447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e10313b60c0f8c9e99b8ad902d4757683678f88","datavalue":{"value":{"amount":"+0.85184646","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4037109$06924AC7-06F2-4B94-A294-3061DBB78CAA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4037109","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4037109"}}}}}