{"entities":{"Q4037087":{"pageid":6066805,"ns":120,"title":"Item:Q4037087","lastrevid":55246540,"modified":"2026-02-05T06:58:34Z","type":"item","id":"Q4037087","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 177237"}},"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":"Q4037087$AB199D82-B7C1-4D3F-BFFD-2559FD86A523","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9545851c4ef165c759641d6a3ff87e201fcac5c1","datavalue":{"value":"0786.68069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037087$DFAC73E0-EEFB-4408-BF1E-C09A55CF72C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7aa02b1eb91e3ae48707cbc0221a827279d0c001","datavalue":{"value":{"entity-type":"item","numeric-id":216118,"id":"Q216118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037087$79354133-10EB-4283-AEE5-0AAFB88AA642","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":"Q4037087$6EC3A0C3-07A8-4BC7-A5C6-B23B2D532032","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037087$99B9A7B0-795D-4166-B55C-4B9344B8C576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037087$4357C7BD-0077-481D-A01F-F30447E99D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037087$B4199E80-043E-4EA0-AC17-98D7ECA87987","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c15aa0c0e3f2584df3959abfb11baf6427fa8e14","datavalue":{"value":"177237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037087$573537D0-4239-4316-8012-90E11FE097B8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5eb0d5a5d3628516f914047d59892a208d47fd72","datavalue":{"value":"automatic verification of concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037087$6DF4A0B4-781F-43D9-977E-C2D49F637A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8f41e928f83ba5af7637f5bbcf6901e930484e7","datavalue":{"value":"linear time temporal logic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037087$3FFA9346-65AC-476D-B751-72B5DA1D4697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6efc29104849246715e388a6cebd0121231945e","datavalue":{"value":"reduced state space","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037087$FE36268B-EDA3-46CF-AF15-CAA2B64A9820","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":"Q4037087$660AD29C-0655-4AA1-8A69-A711EEB6B262","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44f9c94bc5f592e002f3178d997ed103079b4518","datavalue":{"value":{"entity-type":"item","numeric-id":4037380,"id":"Q4037380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea5a0bab696ced9fdf0e0b822e191646c111da78","datavalue":{"value":{"amount":"+0.997044324874878","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":"Q4037087$6951105A-C211-497F-A4F7-28912EBE73AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0cde609a57b0eef5620aea058896cf96b88e938","datavalue":{"value":{"entity-type":"item","numeric-id":4353636,"id":"Q4353636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea5a0bab696ced9fdf0e0b822e191646c111da78","datavalue":{"value":{"amount":"+0.997044324874878","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":"Q4037087$7EBCC403-DAD1-4FD5-9A05-7ADDC5801CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d350ac85232661af1b34e74ab018adfebfeafa4c","datavalue":{"value":{"entity-type":"item","numeric-id":685106,"id":"Q685106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aec57aa173e8d95805b7d0659cf933c30af52bc","datavalue":{"value":{"amount":"+0.9905694723129272","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":"Q4037087$0F23950F-FD72-4C7E-AC17-B1D433FF55C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0de4e502d7c3ba3e99d0891f471f671296cd5ca1","datavalue":{"value":{"entity-type":"item","numeric-id":4507831,"id":"Q4507831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aec57aa173e8d95805b7d0659cf933c30af52bc","datavalue":{"value":{"amount":"+0.9905694723129272","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":"Q4037087$6C41705B-9AE4-4C89-9F04-34D8600137FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"028e3c660f5ed9512467b98aafec24c95689b560","datavalue":{"value":{"entity-type":"item","numeric-id":6487389,"id":"Q6487389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c80a02088ee8676f9b912c66ddea68b91be8516","datavalue":{"value":{"amount":"+0.8935072422027588","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":"Q4037087$37BE63E1-3249-412C-BA3E-382886CE037B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4037087","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4037087"}}}}}