{"entities":{"Q3612004":{"pageid":5641910,"ns":120,"title":"Item:Q3612004","lastrevid":80815562,"modified":"2026-05-06T17:03:49Z","type":"item","id":"Q3612004","labels":{"en":{"language":"en","value":"Precise Thread-Modular Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5522585"}},"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":"Q3612004$ED2E00F6-E7DD-4BE3-8140-DBAAF6C7747B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5bcd7a3793bbae3d65d4cf3aacd7a2550f741acb","datavalue":{"value":{"text":"Precise Thread-Modular Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3612004$110F64FD-AEEB-44AA-807A-300DAD3EEBD2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00bf07d233ef0f9ab2cca53bed039707e1d683a8","datavalue":{"value":"1211.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612004$9C1865D0-35C5-43F7-BAC9-F8767D4E1C4F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f9e80ef856b9eefc19ffc5bce40f80e4716b234","datavalue":{"value":"10.1007/978-3-540-74061-2_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612004$2A0E7925-2DFF-4BF6-88DA-6E14572D676D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"11284c37dac68ebea2ec9f5272d94d336f60bfe1","datavalue":{"value":{"entity-type":"item","numeric-id":1675155,"id":"Q1675155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612004$EC115B4F-A43E-44C9-B73F-A22200A6D02D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3527a91821d36e757e1613c0da59458b564b0344","datavalue":{"value":{"entity-type":"item","numeric-id":225062,"id":"Q225062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612004$DA46D891-18D7-48DD-B85F-4BACBA358BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"33f09e7b1eefa8c699a9d529da40fe033eb88541","datavalue":{"value":{"entity-type":"item","numeric-id":604393,"id":"Q604393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612004$421F785B-D586-4586-B6B7-418A8D5F369B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612004$980511BC-C4B4-4263-A443-454009DCD20E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc5b863e9c4f72af24ca9701a767310d5b89836d","datavalue":{"value":{"time":"+2009-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3612004$1726B37B-59AC-4163-8590-141D42C0AE19","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612004$981F8DE8-A21A-4A62-851F-6D37844A1AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612004$8507D562-D7B6-46E7-B419-86326268ADD4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"584c1b746793b751c26fc0c2a4615b76178aea69","datavalue":{"value":"5522585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612004$D113EE4D-83AD-4412-9FA7-0F6D122CA5C6","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":"Q3612004$4421B84C-EB10-4182-9C3B-86A590B8973F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c404cd55bc75a16774b71df71f0e1ebcff18e13c","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74061-2_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q3612004$A42F2064-AC3C-47EB-8AB5-32515666B38A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dd0b0ec9df675d3f40497b8f4126d76df9925457","datavalue":{"value":"W1569234295","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612004$6B4B1F7A-B312-41EA-8685-A416D78996BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fee3dc384d80d204cbfbadff9bc57a551f433448","datavalue":{"value":{"entity-type":"item","numeric-id":3525149,"id":"Q3525149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ef0ffe2cf633be26360e6493292df8330343a1e","datavalue":{"value":{"amount":"+0.836624801158905","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":"Q3612004$38B79FB6-04A9-45E8-9D58-D645C63AC4A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65fd47484c6b00d882d3302f057fc283b851b47a","datavalue":{"value":{"entity-type":"item","numeric-id":4930739,"id":"Q4930739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd20bf1832e65698a64060691b0a74083a3f8c02","datavalue":{"value":{"amount":"+0.8074513673782349","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":"Q3612004$89F59CEC-27CF-484D-805A-CE302C847225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cd8fe519b64cbc856a832a8dd1f77f177c5e155","datavalue":{"value":{"entity-type":"item","numeric-id":3656886,"id":"Q3656886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5add8ec1a4944fba10b1fc850f77aff00a51fa56","datavalue":{"value":{"amount":"+0.7876548767089844","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":"Q3612004$C4E8C6D3-0788-490E-86AB-DB72FE5BBFCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7085ee087572c8048eeca907851ca06e65d99102","datavalue":{"value":{"entity-type":"item","numeric-id":4738361,"id":"Q4738361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e0e01b82ac655ea4a374b8299aace6e704887a0","datavalue":{"value":{"amount":"+0.7831496596336365","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":"Q3612004$AC7DBDEF-7CAE-4188-980A-AFF722505792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1609815e354014a0213f2a4853304fd3a5213751","datavalue":{"value":{"entity-type":"item","numeric-id":2961579,"id":"Q2961579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f422a7103eeb43769ad98fbe73d6e606ed372e1","datavalue":{"value":{"amount":"+0.7821078896522522","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":"Q3612004$B1980154-F93F-4DB5-8CA9-DF13266C5006","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Precise Thread-Modular Verification","badges":[]}}}}}