{"entities":{"Q2743641":{"pageid":2754380,"ns":120,"title":"Item:Q2743641","lastrevid":83064125,"modified":"2026-05-07T05:50:53Z","type":"item","id":"Q2743641","labels":{"en":{"language":"en","value":"On the decidability of the PVD class with equality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1652330"}},"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":"Q2743641$D1D6856C-AB0E-45C6-963F-427A2CBAE7A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dbdfb742e682a5d81469f5e86de2a5c134cffd1b","datavalue":{"value":{"text":"On the decidability of the PVD class with equality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2743641$52749151-DB1D-4AF1-BCF1-5DA01A394BA0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"445611ce776af5ff64735d1321843dd37915c5f1","datavalue":{"value":"0980.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2743641$69F212C6-072E-4DDB-8181-868276D0ACB9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbb66b347a8501d3e88bb4fc6db185a6021261a5","datavalue":{"value":{"entity-type":"item","numeric-id":167063,"id":"Q167063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2743641$1553F561-9FFC-40D2-92BD-F68DC8F8E497","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa76be71329d496ea48ff062925abe90ad740965","datavalue":{"value":{"time":"+2002-03-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":"Q2743641$6284D774-9ED5-4FC3-8A72-DA0E1281A215","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2743641$0E0FEE14-D321-4AEB-BC1B-5E588D5A5274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2743641$CC4A50D3-5493-478B-88E0-FBAB9A353F49","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9cfea91a79e7ab53ccabc8f8716759e2fedbb1e9","datavalue":{"value":"1652330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2743641$474F114D-6C13-42E7-A839-AB95DB15E377","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2743641$5FC0B972-9CD6-4DCA-8791-BAAFDC831D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"530bce817919f61cc5d7bbca38f181d70bbf051b","datavalue":{"value":"PVD","type":"string"},"datatype":"string"},"type":"statement","id":"Q2743641$D04F8999-F938-4769-B00F-779DDB9C9232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13ff8f81250568a0232adf7554d83c02339a94bb","datavalue":{"value":"simultaneous ordered paramodulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2743641$32028DDD-2E32-4069-998D-45314E1EEB9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b1aa8e3343f537831c05df439f9ce972378c899","datavalue":{"value":"resolution refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2743641$E772D350-452C-4FB9-AB10-4A8452F81A29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2743641$12A63F0A-0EA8-47B3-9C1A-8569295EC91A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b0133bb82e5a2899974ef5a92a207f1239299d2","datavalue":{"value":"model building","type":"string"},"datatype":"string"},"type":"statement","id":"Q2743641$7003E72C-FD7C-411F-915F-17E7D3861680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2743641$E41B66A1-71F1-40CB-A50F-C3C50D2197ED","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":"Q2743641$15F7AB80-5659-49D2-A700-8739AADE9E99","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a0263e9dc2270c4cf5cc6b91206c1c00cc784cc0","datavalue":{"value":"https://doi.org/10.1093/jigpal/9.4.569","type":"string"},"datatype":"url"},"type":"statement","id":"Q2743641$CFAB392C-A030-4639-84F2-41F1988E683B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"14aaca58bddd31373d1dec93bf1ad18f133a9b2b","datavalue":{"value":"W1973424310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2743641$DEAF1614-10C6-402F-BAB9-A0A313B0B37B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e01ee2d0be86ed321d0f4e6e432ffb7e3b6e1cd5","datavalue":{"value":"10.1093/JIGPAL/9.4.569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2743641$E65FB0C1-B268-496C-9CEA-8B37A84B9921","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2743641$E764F084-8692-4233-AECD-AF39A36649D9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b58d2bf5593372d4201064a516c4e726cbbe6c4c","datavalue":{"value":{"entity-type":"item","numeric-id":1816326,"id":"Q1816326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf954f896911cc5be37e926ded97751332f338fd","datavalue":{"value":{"amount":"+0.88085204","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2743641$5E67E51E-F3AA-492E-9101-119A764445D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e339e7b585026668beb26e95b634ac19810f508a","datavalue":{"value":{"entity-type":"item","numeric-id":5941060,"id":"Q5941060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1987d5eb3d82a2b70f39e435f8b5ecad5fc3feba","datavalue":{"value":{"amount":"+0.8756449","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2743641$CAAEE871-7210-4D65-87AE-9B3C09480AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21e0933bcff42ee2f9a266beb5c67870d22cb096","datavalue":{"value":{"entity-type":"item","numeric-id":4474205,"id":"Q4474205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e39d45a75f8f67def0e5b9b19a9bfcf5032cb9c0","datavalue":{"value":{"amount":"+0.8716545","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2743641$82AAE1EA-DDDC-4739-B722-DF7CA183E271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7474deaf010284a6123f19247aeda7fdc6a5ede","datavalue":{"value":{"entity-type":"item","numeric-id":4529994,"id":"Q4529994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"077c7d992bb7d61de634fb198149f55512413384","datavalue":{"value":{"amount":"+0.8705761","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2743641$6D3D4411-9A11-40C5-A040-461E9C1366E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d12445f5f175c3cb385a3e559be7d6a2f7e9b335","datavalue":{"value":{"entity-type":"item","numeric-id":4355927,"id":"Q4355927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e28f3558689b548abc63c0b6fd5d76898afe28d","datavalue":{"value":{"amount":"+0.85982394","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2743641$20E81FA1-12F6-4363-A322-5605406CC4F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a95bc295fcef02f705161575a8024d5afc16433","datavalue":{"value":{"entity-type":"item","numeric-id":4571996,"id":"Q4571996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a81e9d29e0c18814b020b48493ffd2884c3192be","datavalue":{"value":{"amount":"+0.8585249","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2743641$26466253-BF28-4056-9063-CDB749C42815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0e062fdfb33c0734382ca0d3bf3abf3726d0fee","datavalue":{"value":{"entity-type":"item","numeric-id":3219135,"id":"Q3219135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ae5b3e53a3763190d51c047e2048aace47043f8","datavalue":{"value":{"amount":"+0.8569622","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2743641$92EB2D60-1702-41B9-98BD-F97FD54F614E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7cfda27c4e4d2c5a2e58c1cd4f84f79e2d9eef6","datavalue":{"value":{"entity-type":"item","numeric-id":3813316,"id":"Q3813316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3762a82cacb8e677ee6cb8888f9a7fda354bcbc","datavalue":{"value":{"amount":"+0.84768337","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2743641$05F19AE8-4749-4AB7-898B-82B1A22135A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6142c7a56d701342d7fe761ce534d32ce8275fcb","datavalue":{"value":{"entity-type":"item","numeric-id":1062450,"id":"Q1062450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daa588d81dec297f93b104175d7bda3d786beb49","datavalue":{"value":{"amount":"+0.84590816","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2743641$ED94C7E7-9BEC-4707-98F3-9FE0B5A2F66D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"083e6137d9b00728b3e6550fb5e794dd35d571b2","datavalue":{"value":{"entity-type":"item","numeric-id":716333,"id":"Q716333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e4efa91baadbdf127503556be9aea711bf32a34","datavalue":{"value":{"amount":"+0.8447808","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2743641$5AE5A9DC-1EBC-45A3-9C87-4FA376E61F78","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the decidability of the PVD class with equality","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_decidability_of_the_PVD_class_with_equality"}}}}}