{"entities":{"Q5747646":{"pageid":7777197,"ns":120,"title":"Item:Q5747646","lastrevid":51080177,"modified":"2026-01-16T13:36:03Z","type":"item","id":"Q5747646","labels":{"en":{"language":"en","value":"Nitpick: a counterexample generator for higher-order logic based on a relational model finder"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5785339"}},"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":"Q5747646$F0BF14D7-FC45-4914-8115-C5B677E5F396","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fafa767561eb61748345641e85548be260850482","datavalue":{"value":{"text":"Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5747646$4D511230-1A25-4571-967B-4B9D248E3060","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"155d99e22a497edbc2cfb67bf239ab1a5904ace8","datavalue":{"value":"1291.68326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747646$2C8151C1-1FBE-439E-AA32-173FC29B1F60","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"31b825ec91f16269a0c8013b4be7d24eaa832a61","datavalue":{"value":"10.1007/978-3-642-14052-5_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747646$520B92EC-9466-45A2-A484-045463290196","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":"Q5747646$EBAEF598-7F86-4155-8373-E89243A4008E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd39997decddd4925a8ef09cbbffc4f41d2b1f00","datavalue":{"value":{"entity-type":"item","numeric-id":670700,"id":"Q670700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747646$E31AFB7B-C3CD-47F2-A0A5-70C61046BC54","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747646$4D994107-2AB3-46E3-A657-74FC14E921C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f7d3744053f89b932df935693d4d726597e5f91","datavalue":{"value":{"time":"+2010-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5747646$F0E2E1EB-55DF-4BD8-B051-24CC828C6F1A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747646$3E87CB5D-E7F3-4583-BAEB-40D49B18D169","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f6f61f54dbd297106a30a0034963af06e738e9f","datavalue":{"value":"5785339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747646$113E6EBF-222A-4ED4-A087-83F6A0A5600C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747646$4EC2B8EB-8C94-4DE3-AAFF-32D4173E61B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c40cf9a35904f638a7cabef2bc178bad46391f7","datavalue":{"value":{"entity-type":"item","numeric-id":13717,"id":"Q13717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747646$4E37B542-9FA7-48A0-BD84-10346D98862E","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":"Q5747646$086F5801-F5C6-42DD-8A5D-91DF0622E4A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747646$2A6A77D1-0BA7-408D-BB3C-531324D75E5B","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":"Q5747646$61A9241B-8F87-4331-B0BF-859F887CE286","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":"Q5747646$CE22B2D3-0612-4082-84F4-8F15E7BF6E72","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6bab970bff2a1f177529fbac183ea5baee93c5ed","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14052-5_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q5747646$9DF9B7A0-3317-4A61-ADA4-800A99C55858","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f6822936b4cc51f746f2666317f08aa108f9571f","datavalue":{"value":"W1595209293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747646$B7E591C1-EDD0-472A-AA70-5F14766B733F","rank":"normal"}],"P1643":[{"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":"de923e9e42d657ea4d75ab93b9ac086625a736b8","datavalue":{"value":{"amount":"+0.7962791919708252","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":"Q5747646$DBCF7072-0504-44FD-BFDA-048C4A4DAA5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60f2736f35d7789a8d25016d311557b7ab4a81e1","datavalue":{"value":{"entity-type":"item","numeric-id":4933301,"id":"Q4933301"},"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":"Q5747646$19AD583C-5CE0-43CE-83B4-D9C8EB68DF66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9a6d991b50ee3cacf0f632a65fb75701662b114","datavalue":{"value":{"entity-type":"item","numeric-id":2405244,"id":"Q2405244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5b37317ee0b0e4c2f1ab92009433eae28f94d60","datavalue":{"value":{"amount":"+0.7624298334121704","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":"Q5747646$BEC4D053-D2E7-4BB8-9580-580EFE7D4593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38394b4e8d3a3502630a463829cd1f4840ac5524","datavalue":{"value":{"entity-type":"item","numeric-id":3172879,"id":"Q3172879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3833b362ba39fab1f03a6ebbd601d9191e3dc008","datavalue":{"value":{"amount":"+0.7347565293312073","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":"Q5747646$DF525548-E443-44C1-966B-1F3EC58CE99B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f3a783aee1c99214f2ccffb145084ad2c4cd9da","datavalue":{"value":{"entity-type":"item","numeric-id":5305642,"id":"Q5305642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"879df8efb4992375dc25cc9d66812b8fe0ea42cc","datavalue":{"value":{"amount":"+0.7282508015632629","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":"Q5747646$A2B20202-086B-480D-83AF-B0A85B97C2DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5747646","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5747646"}}}}}