{"entities":{"Q6160910":{"pageid":13295791,"ns":120,"title":"Item:Q6160910","lastrevid":47856853,"modified":"2026-01-02T21:46:18Z","type":"item","id":"Q6160910","labels":{"en":{"language":"en","value":"Verification of SMT systems with quantifiers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7691500"}},"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":"Q6160910$570FCDBE-1F59-4600-9476-ED8579D901E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"30d2b58fc1f529ae332f9fd338fba4610a6d595c","datavalue":{"value":{"text":"Verification of SMT systems with quantifiers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6160910$B547239B-FB12-4963-9713-EB8988F934E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ade013bbadc47c78fe9a252c0c096a3c2a10c73","datavalue":{"value":"1522.68303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160910$A439353C-9C27-4BD7-9988-7A10619433EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"621124beea267e008ac8f95ad2fead8a9c36d976","datavalue":{"value":"10.1007/978-3-031-19992-9_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160910$2885DCE3-DA9F-479B-BA8B-47CFC337A2E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"387e6ac60ed3a0144bb303179c23c53493d401d0","datavalue":{"value":{"entity-type":"item","numeric-id":329418,"id":"Q329418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160910$BAF2AC56-BFE5-412E-A993-E5A8EBA63906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e97e7d65eece04188cb1a1dff66ddc09c38fbea4","datavalue":{"value":{"entity-type":"item","numeric-id":479835,"id":"Q479835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160910$5F90B50A-E1AC-4B50-A331-FFBC31A44CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72898f5e52440e10d625d149159607c255c00cd8","datavalue":{"value":{"entity-type":"item","numeric-id":2055850,"id":"Q2055850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160910$2FDDC200-13F3-4B14-A41F-4D3650F26412","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160910$95C4179D-7883-42A8-BE58-B273A8CAE1B3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4fa95a2618f91e175d2e6cdf4f6ce4782d828b01","datavalue":{"value":{"time":"+2023-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6160910$ACF9BE17-CFA1-414C-96FB-BB984E427756","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160910$121E06DD-050F-4D28-BC5E-2D1521C23D23","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f0752691a860f57f7483af8aab9de088c279efb","datavalue":{"value":"7691500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160910$EB963D9E-1596-4E7E-8A24-221A41DBAD8D","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":"Q6160910$A2B7F16E-FFBC-4C5A-9E05-85C0BCB0E04A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d3ddadb05fdde31da3fa7a220628ef41980fc3d8","datavalue":{"value":"https://doi.org/10.1007/978-3-031-19992-9_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q6160910$51243A4B-89D8-4959-AA1E-0416E41EB7E4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cfe3792af7151c5f80abe901a39cb803f959ef48","datavalue":{"value":"W4312481161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160910$D1A67C1D-2E06-4D6A-A81C-39613EC9C5AF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecdb0aab67be49a869b3b3140e39e00b67d99be9","datavalue":{"value":{"entity-type":"item","numeric-id":2786907,"id":"Q2786907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160910$DE178786-E8E5-4569-BEB7-E8B015325D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2426859933ded65ecede93f0dda338fe32c6c26e","datavalue":{"value":{"entity-type":"item","numeric-id":4568312,"id":"Q4568312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160910$AAC59618-2118-4889-B2B7-3D4F088592D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a721eea058e807770cf825065bd252a7ab7056d","datavalue":{"value":{"entity-type":"item","numeric-id":2363814,"id":"Q2363814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160910$ED774169-D61D-4E72-BE98-2849EC647BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de2382c5c030ab0f86cd18743b01785306e281bf","datavalue":{"value":{"entity-type":"item","numeric-id":2055851,"id":"Q2055851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160910$0E65927E-5970-4BB5-BB77-90777F7E42A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21640ae8e3aa02debe92970cf2184aca918b76e5","datavalue":{"value":{"entity-type":"item","numeric-id":5326318,"id":"Q5326318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160910$21CEE2BD-C820-4C0D-92A5-DA904655B971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab0e22c03628581ef6e9245e1d0b984c65b245ad","datavalue":{"value":{"entity-type":"item","numeric-id":2024379,"id":"Q2024379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160910$CB5E0CF5-D50E-41B0-99C5-74B2F1062122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1daf6c1b27d4e2241acccb436e068cfc4f24ffff","datavalue":{"value":{"entity-type":"item","numeric-id":3546294,"id":"Q3546294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160910$721ABDD8-E255-47C2-ACC7-2F589EAD82C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13a38b87f3b20c7063408a10453103a3d61a75b","datavalue":{"value":{"entity-type":"item","numeric-id":5232900,"id":"Q5232900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160910$5C978C69-272B-4AFF-8AF7-213F54EBFE09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90d27466745eba57837a04b18173a99a47f5ad2f","datavalue":{"value":{"entity-type":"item","numeric-id":1037401,"id":"Q1037401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160910$E6A2A2EB-DD25-4940-B30B-D3B60D4E52BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22b34230d6df626c64dad187f872ce2d2c543952","datavalue":{"value":{"entity-type":"item","numeric-id":3081445,"id":"Q3081445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160910$F095C7F6-F825-4268-A3F3-486D8AD5D605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7dd0892c14507a8ebfe27b348bce87a4fc4a48e","datavalue":{"value":{"entity-type":"item","numeric-id":1702932,"id":"Q1702932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160910$00FFEE66-0549-4BB3-A963-846B6C57AC9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1255d1877d234dd153eba7ed365a6f3efc1ff6b1","datavalue":{"value":{"entity-type":"item","numeric-id":4617972,"id":"Q4617972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160910$674714AF-62FB-48CE-9980-1C8FC624628A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d97d0e39fff4eb32f474a84cfc3cf8ba9ad1d378","datavalue":{"value":{"entity-type":"item","numeric-id":2769579,"id":"Q2769579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160910$0DEFE9BA-A0A6-47DB-BDB6-1823B2F53E35","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"885946cd8e9f957dd1df11b767542d1bfbee392d","datavalue":{"value":{"entity-type":"item","numeric-id":3303891,"id":"Q3303891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed2e44334eb50c65e5f898b668fb60bcd827a62d","datavalue":{"value":{"amount":"+0.7921682596206665","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":"Q6160910$584C44EA-D2B1-4B0A-B7E4-0D485127276B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"016a68b751c067bd865acf1cee368f9c6a7bb8f4","datavalue":{"value":{"entity-type":"item","numeric-id":5232900,"id":"Q5232900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"428a338b84d2122db7682977fae9b83ecac29c8a","datavalue":{"value":{"amount":"+0.7882430553436279","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":"Q6160910$70DDAABD-E072-479B-9116-F96FEED14C5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12aaa4a36bdf05dc06c575e9e83887fbf42b685d","datavalue":{"value":{"entity-type":"item","numeric-id":1037401,"id":"Q1037401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3668ee3b15ed904305c7e683e2f3240a3c0d2317","datavalue":{"value":{"amount":"+0.7801352143287659","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":"Q6160910$3CD67856-606E-4630-BD83-AEAF26223427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9390b4ccc6dc9f08d9ed8cd2d7f1eed1c352e9ee","datavalue":{"value":{"entity-type":"item","numeric-id":3608772,"id":"Q3608772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0329559f19178aa1bb8973c8705283db2cc09ba1","datavalue":{"value":{"amount":"+0.7756364345550537","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":"Q6160910$7E762B8B-A5EA-4691-89B1-EC2AB675516E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7441d0ac138a42ca07544f96589c657fae15c5d5","datavalue":{"value":{"entity-type":"item","numeric-id":5178977,"id":"Q5178977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55a537a020fea6947aea67c631f3b796ee362c9f","datavalue":{"value":{"amount":"+0.767672061920166","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":"Q6160910$13601C31-2AE9-4828-A850-4A2A9CFAB8DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6160910","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6160910"}}}}}