{"entities":{"Q4933301":{"pageid":6962883,"ns":120,"title":"Item:Q4933301","lastrevid":51101741,"modified":"2026-01-16T16:33:33Z","type":"item","id":"Q4933301","labels":{"en":{"language":"en","value":"Generating counterexamples for structural inductions by exploiting nonstandard models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5798892"}},"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":"Q4933301$62B7334C-14FE-415E-9425-CF60F839A499","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5fc89d17a554e479c0135d0ad593940aeef90f0e","datavalue":{"value":{"text":"Generating Counterexamples for Structural Inductions by\u00a0Exploiting Nonstandard Models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4933301$1B958453-D7CE-452D-8828-288663FCBB18","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0475b8261f3fb8268b93f741fb969ed971ce6feb","datavalue":{"value":"1306.68139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933301$12333AFC-B5CD-4B6F-92C7-589304BB6776","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aed234c9b9137a80267fbc44f1e32abe2b43986d","datavalue":{"value":"10.1007/978-3-642-16242-8_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933301$B8F79547-45E6-468D-BC7D-A96FDEE4296A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42c29c686dffd678d9f155b05a4a1aa93e85953c","datavalue":{"value":{"entity-type":"item","numeric-id":287335,"id":"Q287335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933301$3A26E338-BD21-4DC2-BF88-E53484490620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ebcb9f6003248d9f6e3888a3874f451e22b906b","datavalue":{"value":{"entity-type":"item","numeric-id":438538,"id":"Q438538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933301$F2970A74-18FD-40AC-B7CB-1DEE450E04EE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933301$52FD68A2-C713-4E8F-87C4-842BA6C822F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8268186a71ffa78cd296b9bac558860fe9e35f3f","datavalue":{"value":{"time":"+2010-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4933301$C5E1D674-A462-4C24-B942-05DFD0B7274E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933301$79E83C93-9E32-40BC-81D8-E1EEDF6163A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933301$B7EC7C0C-A362-413D-A620-08E4D5670FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b04bd88a45e77f22f18ff67abebfcb580b5033cf","datavalue":{"value":"03H99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933301$F70A87F1-1D35-49A5-9A0E-FA55B3F5BB1F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4725756251c4b946777b28e41cbe4539dcb50081","datavalue":{"value":"5798892","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933301$5A49E67C-6FEE-4010-8977-EA8868C6C16C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ecb36fec89ff827cd73a8ca1a85f36a2e419c34e","datavalue":{"value":{"entity-type":"item","numeric-id":13377,"id":"Q13377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933301$9B7F996C-C62F-4C01-B376-7036F433AE84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933301$12A79489-0987-4310-9C62-5E7221C23770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933301$A781E777-E00B-45C1-98A1-B56461856881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"41fc9cdab07636dca04412ef0070f1d13ce58f4d","datavalue":{"value":{"entity-type":"item","numeric-id":19148,"id":"Q19148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933301$C94D1303-58A4-474A-9AD6-2E90AC956D37","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":"Q4933301$24167E85-4089-43CA-880C-E4E2B62F5476","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9067efeee5b66a46b7186ec6a8011661c9461026","datavalue":{"value":"https://doi.org/10.1007/978-3-642-16242-8_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q4933301$DAE1A682-F9AC-42CB-9162-1EB0756A9BD5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ccfeb4725e5b4539b583b537b9a37d682963c5cf","datavalue":{"value":"W1673618793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933301$E9D8CFD4-2267-4283-89A0-24A8853A349E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0deab03664bb05ee0ab93f02e3e2aa8174c99308","datavalue":{"value":{"entity-type":"item","numeric-id":5747646,"id":"Q5747646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a87940666fa26ee32dc18486805407557a8f35cd","datavalue":{"value":{"amount":"+0.7664497494697571","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":"Q4933301$5E93C595-620D-4F70-829E-0EAA54D23D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5c22df04c452125c050f1ae7f27020b76b99c88","datavalue":{"value":{"entity-type":"item","numeric-id":5458810,"id":"Q5458810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75ffa95ff9f87273a3b0c3c4c28a44464282472a","datavalue":{"value":{"amount":"+0.7437978982925415","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":"Q4933301$E5109E7F-2FA8-43BE-BD6F-924D8B0C2ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58f6436d7b6017f6788025ce4d82f6b0d3d825b7","datavalue":{"value":{"entity-type":"item","numeric-id":2848061,"id":"Q2848061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90d3f0fb360a753b30735bb7c3af85942ebe30b4","datavalue":{"value":{"amount":"+0.7101832628250122","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":"Q4933301$707C9BED-ADC6-4E62-B379-90F101FBEE5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18f425fed38cf235f799151c1bb281e2606d35af","datavalue":{"value":{"entity-type":"item","numeric-id":4539647,"id":"Q4539647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3ee53c5fad54eabdf785fcd33d70567bd969cf2","datavalue":{"value":{"amount":"+0.7094936966896057","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":"Q4933301$4D419FB3-C49D-4756-A745-BD25425076CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77388ed30caccd94e4d02e8a9238eb44a48da01a","datavalue":{"value":{"entity-type":"item","numeric-id":1882908,"id":"Q1882908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c61a6c7d634bb87c9587e3c8065d6c4f6aa28e4","datavalue":{"value":{"amount":"+0.7067422270774841","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":"Q4933301$582A6A87-5F36-43F5-91FC-6FBFE55A2E29","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4933301","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4933301"}}}}}