{"entities":{"Q877884":{"pageid":879732,"ns":120,"title":"Item:Q877884","lastrevid":65063121,"modified":"2026-04-12T00:04:06Z","type":"item","id":"Q877884","labels":{"en":{"language":"en","value":"Comparing instance generation methods for automated reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5149280"}},"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":"Q877884$02E4D70E-400A-48BE-A744-5CE314B76E3F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2623ff493a28911e4bb86d4d637ef7095c0c579f","datavalue":{"value":{"text":"Comparing instance generation methods for automated reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q877884$3AA89DF4-3384-4962-9A3F-D2F71CF2284F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"175536a8164b9b209501417e66ef3040d2c95fd1","datavalue":{"value":"1113.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877884$6339572E-0E14-4999-B851-25569FE3456E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c66349fb93c4be731b6d05d8a88aac3ca4b2b84","datavalue":{"value":{"entity-type":"item","numeric-id":784146,"id":"Q784146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877884$B4715DAD-6EEB-4573-8EA9-E1D0F14E0F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ecde3ddf4f96a8da457aeb906b2979614b354694","datavalue":{"value":{"entity-type":"item","numeric-id":293310,"id":"Q293310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877884$FBAAEE2C-CA0F-4999-BADC-6745A022B956","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877884$5298457F-3D2F-4B49-9522-5D622110A02A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ceacc095bcddce0ac9017ef9315962415a2b424","datavalue":{"value":{"time":"+2007-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q877884$B9D4D703-C0F0-48DD-A006-05A76574F3E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f38fcf8745ca1de3d05b2796d74132b3b3327df","datavalue":{"value":"http://edoc.mpg.de/279121","type":"string"},"datatype":"url"},"type":"statement","id":"Q877884$9EB040EC-F0F4-4F98-91EC-9381FE3F610A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877884$DC9D282C-7A54-4798-BBCF-2C1A759215A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877884$8F737D07-FF07-4B09-82D1-63BBBDAD8C03","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5aac631aeff6b07dbde351ce345fd4308fc1a71","datavalue":{"value":"5149280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877884$26A04CE8-3AE7-4918-A469-9D193F690F99","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58f2eaf8d2e5f734b6c6e8a99b2638ebbdb0b4c0","datavalue":{"value":"tableau-based methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q877884$5FCD590F-DBD3-461E-9670-21D9FA7A1F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db378c25e843f04f2b6ef4cee0a6605d53475b55","datavalue":{"value":"disconnection tableau calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q877884$B9C3A79B-23CB-444D-868E-78BFE2F4B403","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":"Q877884$8EC7A992-39BA-4587-B498-17B8C475A98A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c29efdb7573b1d22dc3597f69425c29e5cfb6491","datavalue":{"value":"W2006807333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877884$E7F93D80-CCDD-4A3F-B76D-EC31BB2AB274","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6721be9751bbd7d2f2ed196912b01f292059134d","datavalue":{"value":{"entity-type":"item","numeric-id":2723420,"id":"Q2723420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877884$E5BF8EFA-E11D-4683-9C48-FB80C57035F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b07bee7e03caec103786e5014f6d4794b8bbdd6","datavalue":{"value":{"entity-type":"item","numeric-id":5900727,"id":"Q5900727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877884$837C448A-B9BC-4072-BBDA-66A5C7E569E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877884$AD363BD7-7E29-4C76-A39F-CADB33454455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"863e4781dcf0a2a9fe02df51636e0f8bb63376f0","datavalue":{"value":{"entity-type":"item","numeric-id":1610676,"id":"Q1610676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877884$3DC6A61E-52C2-469B-8833-AAE6D3C0C302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1f79ff8eec64e8a17cd479193049e853f89d490","datavalue":{"value":{"entity-type":"item","numeric-id":5479275,"id":"Q5479275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877884$B0616132-4D08-478E-BA2F-F12FB496E12F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88fba5a1fdfac74b8e0dcefe0e56f5b10792486d","datavalue":{"value":{"entity-type":"item","numeric-id":688547,"id":"Q688547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877884$8DCA9894-DEF5-4233-82FD-C5371955A865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8674a26153ce786fc142cbca9d495f9ca891ee8f","datavalue":{"value":{"entity-type":"item","numeric-id":2996159,"id":"Q2996159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877884$0DE9B24B-95A5-4DB1-B859-B4F21EC086C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"207add5e6b163f809fab5a384bb65f34732721c1","datavalue":{"value":{"entity-type":"item","numeric-id":5307066,"id":"Q5307066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877884$4B24ED57-FED3-4E85-B99A-8FC3B0B7EE19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f00589542fdb6ec4fc401e47318165d5bad4f817","datavalue":{"value":{"entity-type":"item","numeric-id":1581853,"id":"Q1581853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877884$6457BFAB-3899-4825-BA7A-3A474F3A271B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a255ef140b313d7dbb59f798668e69309970f9aa","datavalue":{"value":{"entity-type":"item","numeric-id":4412859,"id":"Q4412859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877884$F7DB7E03-A245-4253-8B6C-A35878D31DA4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9019b60297f33f92b2bc89a194afe8dc2a206fdc","datavalue":{"value":"10.1007/S10817-006-9046-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877884$2AFE7851-359E-42CC-9810-365AA25062D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"508f66a783b105d1089223dd9fa68f7ed791b390","datavalue":{"value":{"entity-type":"item","numeric-id":5479275,"id":"Q5479275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed94ffc3f2e21061d7d3327972f295fcc2bf5eaa","datavalue":{"value":{"amount":"+0.9933504462242126","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":"Q877884$62F73BF7-B28E-4F49-9AA8-F058F825093A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afb894dc8eab22398caf3bbbbff59981daa6bce8","datavalue":{"value":{"entity-type":"item","numeric-id":4916080,"id":"Q4916080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a27a2365e9d7c67f38baf5ba1f7e4e92408a5e6","datavalue":{"value":{"amount":"+0.7172413468360901","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":"Q877884$A6721BFE-8D81-4644-A96F-7AFD1617721D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09782e48bcfe28381706f5d6f6c5f1aba6ad5834","datavalue":{"value":{"entity-type":"item","numeric-id":4675621,"id":"Q4675621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9a1dda90c577c38fd94fe708714620eca7680b5","datavalue":{"value":{"amount":"+0.7098450660705566","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":"Q877884$E9A5F2EF-A30B-4D72-A8B8-776538A0CD01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5ca60d4d17d093345485d72d5f498e1fde1991f","datavalue":{"value":{"entity-type":"item","numeric-id":3655208,"id":"Q3655208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5d4f2648252d7c95494f37f44e794e38d039202","datavalue":{"value":{"amount":"+0.6983077526092529","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":"Q877884$34CC304F-E8F0-43B4-AB74-6622C99791AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fa5821d5bc9687fe29222b473d9339797d836dc","datavalue":{"value":{"entity-type":"item","numeric-id":5311286,"id":"Q5311286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7803aa55dec5061a08ba59f8fbda16602b0a8515","datavalue":{"value":{"amount":"+0.6918472647666931","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":"Q877884$533E365E-7D89-4CB7-945D-9379D45ECFBC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Comparing instance generation methods for automated reasoning","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Comparing_instance_generation_methods_for_automated_reasoning"}}}}}