{"entities":{"Q3587425":{"pageid":5617329,"ns":120,"title":"Item:Q3587425","lastrevid":51073274,"modified":"2026-01-16T12:38:31Z","type":"item","id":"Q3587425","labels":{"en":{"language":"en","value":"Towards a theory of time-bounded verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5780531"}},"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":"Q3587425$2640F98E-8B23-4971-A968-9BE5DF3C36A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e743bd400a63da3739ecb3421b593a3ccc0b285c","datavalue":{"value":{"text":"Towards a Theory of Time-Bounded Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3587425$72AB25D5-A1DC-44A0-A948-67036A42BDCF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d056bc01cb1d01ef4678d88481211f8287d2ad9b","datavalue":{"value":"1288.68170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587425$43C35E65-95FF-4C43-9848-102CAA58245B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c217d21b77fde45d24eda90ed7f86931202f00d5","datavalue":{"value":"10.1007/978-3-642-14162-1_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587425$E2D6A3ED-188B-4C3F-9636-7626F825C74A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dacfcf053d2b6145a7d8f294969b0cd4cf897e3","datavalue":{"value":{"entity-type":"item","numeric-id":436422,"id":"Q436422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3587425$DDDC900D-5298-4C36-86C0-A367EC450D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"661e9e35098991710b0d0d12df6c9b690ff93077","datavalue":{"value":{"entity-type":"item","numeric-id":391131,"id":"Q391131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3587425$9730E036-2BC0-4BCC-8CCE-366AAD2718C1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3587425$36038175-EF89-4CFF-9B43-A7ABD89A3144","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2243fd9e92593f5db7a6acc36a5542d36cbb6fd7","datavalue":{"value":{"time":"+2010-09-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3587425$158C8B7E-B045-40F6-A8A3-217EAF43F470","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587425$E60345CF-E680-4576-84FF-6FF1641BB22F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587425$5E766F5C-6935-4118-969C-A4A37BA99297","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f6db1c09f74ec3d41564a83e10701bd26089499","datavalue":{"value":"5780531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587425$20EEB45D-9484-47A9-897F-681823AA2B85","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":"Q3587425$D6E6B502-3A30-4524-8621-24EF93A5A41B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"14205ff3701d24f39c6e7c0b8d776d0f9be02667","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14162-1_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q3587425$BED3115E-11C2-4C97-830F-6BD8087F996E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"886ed66b03cfdb167aa05dc3e72f55b57e42e874","datavalue":{"value":"W1496066518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587425$04A9692C-C5E2-4C8A-A99A-7DCCBCFE1B60","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03ad0d77aa2ff75e4f234583be0d095382d6df8b","datavalue":{"value":{"entity-type":"item","numeric-id":3184695,"id":"Q3184695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"880cf017e112d6cec5e908c09faf24b27b63efd7","datavalue":{"value":{"amount":"+0.8198257684707642","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":"Q3587425$9AB39246-B3D9-46F7-9932-48AE7D8F8899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5c4141ff9111104b2df0ca6fc30665bc1f55d57","datavalue":{"value":{"entity-type":"item","numeric-id":3656878,"id":"Q3656878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17fb033ded67c97c4f365a456ef83ea1a469f0c2","datavalue":{"value":{"amount":"+0.7915272116661072","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":"Q3587425$37365208-E860-45F8-A388-C07528A4073E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43bbeb0469e8ff83022992506ae6dbd94d9cec72","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5a1ccd52ed849f419fb9bcbd124996f090667e4","datavalue":{"value":{"amount":"+0.788125216960907","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":"Q3587425$2666DCF0-9E03-4769-8616-EDDE1EADEADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9495214c1f1c6a46ce1664363f2d1fb3d2861847","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efa112dbb03c3dd9ce439c8e82c9a99d75a1cbc4","datavalue":{"value":{"amount":"+0.7866273522377014","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":"Q3587425$A64600A2-4932-4B5D-B4EC-8B9F0F6A83B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e76e16a4b33fef2d7db8e9ad818e844652193261","datavalue":{"value":{"entity-type":"item","numeric-id":2703729,"id":"Q2703729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74403542a4281164f6f4ef4663e0f38415edf0bf","datavalue":{"value":{"amount":"+0.7770851254463196","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":"Q3587425$42E7EDCE-E8B4-4D27-8F87-4355524E2809","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3587425","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3587425"}}}}}