{"entities":{"Q4873991":{"pageid":6903570,"ns":120,"title":"Item:Q4873991","lastrevid":29997645,"modified":"2024-03-06T22:35:58Z","type":"item","id":"Q4873991","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 868107"}},"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":"Q4873991$16F7ABEF-0F60-48A3-B514-FF4B2829D7E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8947bbf369e3e6694f089ebc5dcc59ebefb0d1e1","datavalue":{"value":"0844.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4873991$E0AEF7B5-088D-4CF6-AD58-EE0782F1DA83","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"136a3bf1f009deb2a6a9913d5ea0e7ae90a03274","datavalue":{"value":{"entity-type":"item","numeric-id":582279,"id":"Q582279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4873991$9FA2BE85-CA45-4B2E-9BF6-7850BBB32244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f609d14c1727f970ab5a0ef43992b4a7d4a23fcd","datavalue":{"value":{"entity-type":"item","numeric-id":208770,"id":"Q208770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4873991$4EE67E7E-AE62-481A-BE09-C6387452F2CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"89fdb20fc1a2b5ceeb9dcc49fa7f6c38658112a5","datavalue":{"value":{"time":"+1996-04-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4873991$B15A20EE-9154-465F-A010-2F2CF1996959","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4873991$120CE659-21B9-4CB1-867C-79B2961A92AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4873991$247EABC5-6FE5-41F6-A046-94BFC7FC0D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4873991$00ADE91A-0861-429F-92E7-AEB27EB48D32","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"40134b582ad103c6d65bd85e3a4deee7a6ba284c","datavalue":{"value":"868107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4873991$CBFB2CE9-1D7C-408E-9979-026C7439D001","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dd3f7c0f0f1c3f22bf607fa602ee44483734a9a","datavalue":{"value":"verification of parameterized reactive programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4873991$E6E67B82-1121-4052-8960-1552D827E5C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4873991$C23B3EA0-F6D6-4D49-9922-29D98C39E469","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":"Q4873991$A1411CC8-EC74-452A-8753-17ED8ED6E20B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4873991","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4873991"}}}}}