{"entities":{"Q5016380":{"pageid":7045957,"ns":120,"title":"Item:Q5016380","lastrevid":58400331,"modified":"2026-04-05T01:28:42Z","type":"item","id":"Q5016380","labels":{"en":{"language":"en","value":"Understanding counterexamples for relational properties with \\textit{DIbugger}"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7444019"}},"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":"Q5016380$0A19FD02-4781-4A4B-8112-77D5B0DF35B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"68aed2c5bb8eb4e61938f65045a32fe3d3f5729f","datavalue":{"value":"1483.68194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5016380$25163C25-F038-4A74-8D6F-5BD17115D617","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8dff18ba1cfb2869ffdddd7c6082a9e3d5a4d5a","datavalue":{"value":{"entity-type":"item","numeric-id":5016374,"id":"Q5016374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016380$67628443-2A01-4EE9-BA29-B456A449AF75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"adfad6dce337d4be98fdde6e741d2c076225af8f","datavalue":{"value":{"entity-type":"item","numeric-id":2181892,"id":"Q2181892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016380$5520F5C7-3F22-4CF7-A61F-E51F9D7F9A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad7243f110af39cf6de76200d7fb18124b0e79ba","datavalue":{"value":{"entity-type":"item","numeric-id":5016375,"id":"Q5016375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016380$8B056CFB-5994-468B-BA9E-805B9FDE91DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0f1eca2dbca04747e9c5b458816e611ecf79212","datavalue":{"value":{"entity-type":"item","numeric-id":5016376,"id":"Q5016376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016380$896CDEAE-3434-4830-8D82-B2487F3DB7D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a7b5746a913dcde45a5cfccef393126aaaf1b06","datavalue":{"value":{"entity-type":"item","numeric-id":5016377,"id":"Q5016377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016380$F3F2765B-F4C1-49D8-9076-1F7D959FB9C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5463d56a5a1cfdc1affd9c669010a9f775926b5d","datavalue":{"value":{"entity-type":"item","numeric-id":5016378,"id":"Q5016378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016380$E5049AD0-9CE3-4C24-B890-25454BF095E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de55a7d6c59175e99e92b067a819b8b21fd773fb","datavalue":{"value":{"entity-type":"item","numeric-id":2118555,"id":"Q2118555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016380$766480F0-F532-4D61-AEE9-E2062B1228FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a721be28b08459bde597f908e2fc660e88acdfc","datavalue":{"value":{"entity-type":"item","numeric-id":5016379,"id":"Q5016379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016380$2B31EC1A-C75A-4D98-B7C2-142131401855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"573cc3758191477e0c4b208110ac7ed93fa98f2b","datavalue":{"value":{"entity-type":"item","numeric-id":229746,"id":"Q229746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016380$2C017BAB-21F7-4555-A405-838772E032C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc2f398aa9daa1fa90afc5483e8dfc2d20856f45","datavalue":{"value":{"time":"+2021-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5016380$308FC2F5-5CB0-4C00-8F0D-C466BD371EA4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"157ee510e377c610d736ac27e3ca6d8537e44bba","datavalue":{"value":"https://arxiv.org/abs/1907.03996","type":"string"},"datatype":"url"},"type":"statement","id":"Q5016380$07D31D4A-83D8-484A-A326-DAD3134EF494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"e91df5db857190f32b6e94f3219f871087f883dc","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?HCVSPERR2019.4","type":"string"},"datatype":"url"},"type":"statement","id":"Q5016380$BBF96CE1-D66E-4728-82ED-AD4FECA0A0D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5016380$8A2C3304-A67A-4A53-8964-CA38AC076500","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0076135a8f2288e97fe8a5c656f0dd47542e769","datavalue":{"value":"7444019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5016380$E5772D77-5F2B-43D0-A121-F236DDA121C5","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":"Q5016380$F593290A-640A-4C07-ACBB-65B903F336C8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"70f4db1b16322bb33decea3f4d67214a0487bae9","datavalue":{"value":{"entity-type":"item","numeric-id":5312922,"id":"Q5312922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016380$F0732A2E-B07F-4438-88E4-49BCEF489EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00fd6a3e8c1cf2dd9b085fa696840af6d3bc8290","datavalue":{"value":{"entity-type":"item","numeric-id":1703014,"id":"Q1703014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016380$83E0E40E-9216-4386-96CA-3CF973A6ECBD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e881148389ff07b69f5244cb2e8befa5050543f","datavalue":{"value":{"entity-type":"item","numeric-id":5312922,"id":"Q5312922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50b43b6816605f5cc479e27ada617ef65c9f9d8b","datavalue":{"value":{"amount":"+0.7346685528755188","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":"Q5016380$34EE251C-ECE4-4508-A446-AE22FA8B6D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fca4cf07011724ca25b90d22378bf37771d4700c","datavalue":{"value":{"entity-type":"item","numeric-id":2093147,"id":"Q2093147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"496a82bf6206f250f127fda2a795735796459879","datavalue":{"value":{"amount":"+0.7276526093482971","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":"Q5016380$21066E4D-DF86-4BC8-A30B-DD0177C2A8CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bcdf4fdb7ab27b54011d22e0425631c3033ea7e","datavalue":{"value":{"entity-type":"item","numeric-id":4787239,"id":"Q4787239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd3801ffc35b5ec08ce9936f7da40fe99c7d42ac","datavalue":{"value":{"amount":"+0.7017613053321838","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":"Q5016380$5A6B2C3D-01E9-4A2F-A669-E7434113FC10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e9d9492d18dc6221ed456ab39a9ed2c5fff8685","datavalue":{"value":{"entity-type":"item","numeric-id":5703790,"id":"Q5703790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5835f4ee0875a855ebc6fa3c3e6c958eba44f316","datavalue":{"value":{"amount":"+0.6938130855560303","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":"Q5016380$E35F8A36-3DA8-40C2-8079-F8FBED075552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f3c0237bf17e873da72ef936df780a51b0dd890","datavalue":{"value":{"entity-type":"item","numeric-id":5316437,"id":"Q5316437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c8270c307c7b42a0096b4a8105f9b056f97f24d","datavalue":{"value":{"amount":"+0.6820430755615234","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":"Q5016380$AE4A606F-1DE0-4153-8D69-86B23A9A28E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5016380","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5016380"}}}}}