{"entities":{"Q4037084":{"pageid":6066802,"ns":120,"title":"Item:Q4037084","lastrevid":55246531,"modified":"2026-02-05T06:58:29Z","type":"item","id":"Q4037084","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 177234"}},"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":"Q4037084$3ED407AF-32A7-478E-B937-71B8701B9AAE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"60cfae32ae2fe8eef906ce78f7b5842697747e5f","datavalue":{"value":"0786.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037084$82AA7F89-1953-48E1-82F6-BA746323204A","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":"Q4037084$6CD111BE-ED4C-4DB5-A520-97C4F0875DC1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037084$0EF1EBA5-78CF-4FE3-A702-C841846C06CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037084$374DF977-B332-4312-BD37-628E8A93DEC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037084$900E867A-F716-4024-B25F-0DCBB5DB390D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"66e651c335673fd70ceb40ca9ea1bceac0273a43","datavalue":{"value":"177234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037084$70176D58-508B-492E-AE2C-7752F12975D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb06c1fad0500c40fa701f07264c77f210008dc7","datavalue":{"value":"correctness of finite-state concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037084$D284F50F-6391-470B-954D-0A29EDC226C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7cf288a135ebc768a0d546b1182bf2d9e745a9","datavalue":{"value":"temporal logic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037084$75FC53DC-9AFE-4518-8737-B2E697039721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f00349da537437f5b33a2c7f379598a422d5058a","datavalue":{"value":"state-transition graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037084$F101293D-E1E7-4F23-8F58-8B8313EF5347","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e4e5ed72bee66087d415d4f69d49eefd101a453","datavalue":{"value":{"entity-type":"item","numeric-id":526749,"id":"Q526749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037084$DDA82129-C9FA-473A-B12A-93008F18A02D","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":"Q4037084$AD2F4AC1-28C1-4642-AA8F-2D2803F0300F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47a692f977b2b5a6577b9e26d31d979c09bb8c82","datavalue":{"value":{"entity-type":"item","numeric-id":5311048,"id":"Q5311048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de73145f8260b5157ae97d52c00c870add8ab0ad","datavalue":{"value":{"amount":"+0.9116054","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4037084$667ADAA6-22C3-446B-AD9B-6C55DECAC2C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c69f2d5d8cbb27f22a82668c351b8f7a1cecc234","datavalue":{"value":{"entity-type":"item","numeric-id":4982129,"id":"Q4982129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b71786bea228ad9cf5296eb8849c35b023bca684","datavalue":{"value":{"amount":"+0.8992202","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4037084$5E5D926F-679D-4A97-8118-F12018A23C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec4ddabed42e129b7118a7efb54b9a6e945e883c","datavalue":{"value":{"entity-type":"item","numeric-id":5260751,"id":"Q5260751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0778b2b73c885cb34d90d8ca5f7102cb74ac99f4","datavalue":{"value":{"amount":"+0.89578617","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4037084$0E3D9D04-1758-430F-B507-60523D1AD3B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc72ff6f0b14f148a179b5bd3915977bf23280e1","datavalue":{"value":{"entity-type":"item","numeric-id":5941100,"id":"Q5941100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96eca42360fce69eb09422428e561b1b9f79cb3f","datavalue":{"value":{"amount":"+0.88887775","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4037084$721B6B7B-7A02-41EC-AAB8-A9705E9782E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4541793252d8ba0f539094c210d2ebd0f466bf5a","datavalue":{"value":{"entity-type":"item","numeric-id":2495399,"id":"Q2495399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5cf94a39cd6b2394b677126f6928cd05a85887f","datavalue":{"value":{"amount":"+0.8888492","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4037084$3F7243BB-1D05-401B-9E9D-9CF6457E3F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1883c23305d8a1b064ea2be02f161af8aa5e618e","datavalue":{"value":{"entity-type":"item","numeric-id":1192606,"id":"Q1192606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad156ce91ffdc11e3c9e4ac9bf232ab6d5c33ca6","datavalue":{"value":{"amount":"+0.88839364","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4037084$5F07D708-AE58-4935-8E06-88EF768A4134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dc34c77b9f7052f9e03d0af0c319996210bb489","datavalue":{"value":{"entity-type":"item","numeric-id":4736876,"id":"Q4736876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1647c9844e91bd237ca07d3c5846a1916a4b2b4b","datavalue":{"value":{"amount":"+0.887396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4037084$6A6A03F4-2BB5-4C7E-9B41-3B31DF41F04A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c11fbe834f5d5cc57f184320c8537942a956f9ca","datavalue":{"value":{"entity-type":"item","numeric-id":5479159,"id":"Q5479159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"078e192e0f95dea7a952175161c361421f5b7b7f","datavalue":{"value":{"amount":"+0.887135","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4037084$E12B4858-E9B6-45FE-BC9B-6C27B863A1A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4037084","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4037084"}}}}}