{"entities":{"Q3003231":{"pageid":3013955,"ns":120,"title":"Item:Q3003231","lastrevid":51253994,"modified":"2026-01-17T11:29:29Z","type":"item","id":"Q3003231","labels":{"en":{"language":"en","value":"Automatic verification of the adequacy of models for families of geometric objects"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5899971"}},"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":"Q3003231$894AEE00-D4DB-4A68-AD52-2C2ABC1CB5C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e8a2fe2b2ea7075a856e2dea32873df6facb065","datavalue":{"value":{"text":"Automatic Verification of the Adequacy of Models for Families of Geometric Objects","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3003231$50A728A4-31CE-4CE8-958A-5AC195A711A7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c8a90cdb5ceb1a90ef14bee909d9777d9cb7aa3","datavalue":{"value":"1302.14046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003231$068C1A0F-2672-40D6-91AB-5F8B9691FB4E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eef306864b15c10c39e62b30cb56d64ef073505b","datavalue":{"value":"10.1007/978-3-642-21046-4_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003231$3479D4F6-24C9-4064-AAF2-DCD857302F8B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"caefdc2ec0149f5ea19b0ef3938409e39c57b960","datavalue":{"value":{"entity-type":"item","numeric-id":944999,"id":"Q944999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003231$13630108-0733-402F-8FDB-3EE333397607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"88fef90536607302e7947311cb2b9ecb62ed5ea7","datavalue":{"value":{"entity-type":"item","numeric-id":349839,"id":"Q349839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003231$131121DC-852C-4F0A-993D-8C54C6537C8A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"348c28e159850115a4bf602bf9df1d1e5c1cbebe","datavalue":{"value":{"entity-type":"item","numeric-id":2849503,"id":"Q2849503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003231$0BB69D6C-14F7-4025-8A90-38C2F09AC9C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0d41ce3332fcf97fd23ad798d4a05a02b8284bd","datavalue":{"value":{"time":"+2011-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3003231$1493F704-2875-43D9-A50F-D33F678AEC07","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"94a258fd6e09d2d582bb6c52c7992ac55d0da749","datavalue":{"value":"14P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003231$097DD0FD-5AE1-444B-A9F7-A781695A0AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003231$1FC9E2C1-CE29-4FAD-B9A6-6B57D860E6BB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"123002df55c2e2595753d8076fa8508f675d4983","datavalue":{"value":"5899971","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003231$28D0C7C9-CF63-44E4-A1E6-E82DF1BB1C9E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe28ac3ee8bdccc4fac489d023a004fd75012b02","datavalue":{"value":"real geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003231$52928372-42F9-46F8-9DB4-0C522DC0AE6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9936c1683b20fbad2fb8969b7e633fa65772cd2","datavalue":{"value":"unique representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003231$76431C5C-6168-492E-8AA8-68310B3D570D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5cb0ee4d64eeecc8a076e8bdecb84e8ad122015","datavalue":{"value":"automated proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003231$18AA676F-225D-4036-A741-EBBF70B81680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23887a832ee039a9aba456284682e0a67af1c849","datavalue":{"value":"real quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003231$6AFE6584-3EB1-47B9-852A-77881CC8F042","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":"Q3003231$B659D70F-02A9-452E-84B3-320A43C62853","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2298cbfda7271b0b333889bfcb93511a81f89fdc","datavalue":{"value":"https://doi.org/10.1007/978-3-642-21046-4_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3003231$960EAAE1-073E-446F-BB27-CFFA691B22A5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"edfdae5145403c823cacc68535857e4a5b8cb9a4","datavalue":{"value":"W1658832970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003231$CE547A5C-C75F-40EF-A467-829DAA541399","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c0be4ae12b77e548190d701dabce4695d6b5da7","datavalue":{"value":{"entity-type":"item","numeric-id":1272610,"id":"Q1272610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de576ad4a43500dcd64785071cbaae8b85cada1a","datavalue":{"value":{"amount":"+0.7040555477142334","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":"Q3003231$8ED0D963-2848-4AFA-B6FC-B45CC87AACC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e82d2dfc118f5923143098851e55d0fd6f35780","datavalue":{"value":{"entity-type":"item","numeric-id":5718720,"id":"Q5718720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db8d7686c36baca950e40ca70661b0468de8eb92","datavalue":{"value":{"amount":"+0.695666491985321","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":"Q3003231$BE76770D-F886-4E8B-9E03-44885BBB3709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad02aa2ec1d92466e4f3e6f2952e146dcd121415","datavalue":{"value":{"entity-type":"item","numeric-id":4021269,"id":"Q4021269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e2dcbd9d1f2b4a4687e1a31981f60d621bcf5ac","datavalue":{"value":{"amount":"+0.6858233213424683","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":"Q3003231$9321E6EB-D02F-4CC2-9865-631CD807D008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1424d6206eadde535cf9ed66458b162f4d989955","datavalue":{"value":{"entity-type":"item","numeric-id":5902031,"id":"Q5902031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7208e7098cbf9db5f1929506d1ffa88b57b6f485","datavalue":{"value":{"amount":"+0.6811139583587646","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":"Q3003231$957EDC40-ED36-4465-BA29-96512FF75742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ed28fa7230d0910060c65762680c570bf6d19b1","datavalue":{"value":{"entity-type":"item","numeric-id":1924738,"id":"Q1924738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5e20126cce4fc9d014c25e93e0b330f1cb62001","datavalue":{"value":{"amount":"+0.6808239817619324","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":"Q3003231$D0D9BBF0-0450-45CB-98EF-72DF465EF7CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3003231","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3003231"}}}}}