{"entities":{"Q4272502":{"pageid":6302103,"ns":120,"title":"Item:Q4272502","lastrevid":81619112,"modified":"2026-05-06T18:56:56Z","type":"item","id":"Q4272502","labels":{"en":{"language":"en","value":"A Tableaux Method for Systematic Simultaneous Search for Refutations and Models using Equational Problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 469194"}},"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":"Q4272502$F9314B1A-D8BA-4E1A-801E-17FA54306B6E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"48659901cd165c37216a523d404a93db1fd56a4f","datavalue":{"value":{"text":"A Tableaux Method for Systematic Simultaneous Search for Refutations and Models using Equational Problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4272502$7D7B77E0-D929-4791-9176-8E6B1B0683F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"512c903b571ef52ef9317209f22fc6ea4b9a24cf","datavalue":{"value":"0786.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4272502$7DEA1F67-AA64-4408-ABAA-009D4CAC2B7A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef8d9904a40baa08e6f0a10240e7a4f7764dfa82","datavalue":{"value":{"entity-type":"item","numeric-id":167062,"id":"Q167062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4272502$79D8BAD8-8E82-44F1-97ED-7D8788283F2D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f76288a30164f14e28f1a275b49eb5d03da81a0a","datavalue":{"value":{"time":"+1993-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4272502$F92A815B-2269-409B-A994-106E6A74E5E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4272502$BC52063D-81F3-4DB1-822E-8FDB1D5E2C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4272502$CCADBF51-1E26-42C8-8E0F-EB34682A34DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7bccd316773d8c847ac0dee082ec67ff763a3052","datavalue":{"value":"469194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4272502$1C412E45-96CA-4434-9D1D-4FBD103E44C5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fea41350879795bcbaf685c64753d1904d3cf508","datavalue":{"value":"equational problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4272502$75963CDE-3A64-4E6F-9426-782BD53E43F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ebebeadfd7304b3bb8ec9ea7bd14bbc1a3675a5","datavalue":{"value":"extensions of semantic tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q4272502$6113EED8-4AF5-4538-A089-294AC03DFB91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67d8a2f07d7915fd98dfb4b12ad3c7d69d7cec7f","datavalue":{"value":"refutations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4272502$9700531C-FE21-474B-9120-6F4B73AE0F44","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":"Q4272502$31F1380F-7511-45D7-8BE0-9183784B73D8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"df6d951759e4fe2a81953c898a4d81b1d1987faf","datavalue":{"value":"https://doi.org/10.1093/logcom/3.1.3","type":"string"},"datatype":"url"},"type":"statement","id":"Q4272502$1D63A595-C0B2-4374-BE34-E88EB42FBB46","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ef745d5e904e80ef5a7327056fb447897c499f8f","datavalue":{"value":"W2019447721","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4272502$36A20BDD-A6DB-437C-A24F-259AFAE5658D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8179d527a1d94b68bbc14d412ee713d81c1e26f5","datavalue":{"value":"10.1093/LOGCOM/3.1.3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4272502$766E58CA-AFF8-43D7-B876-5A498A24ED27","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f939051c0b6dd102f2cfef6d5647ea66dae7a025","datavalue":{"value":{"entity-type":"item","numeric-id":1198235,"id":"Q1198235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49bd381712a1d161c767681081c09a0f526daaa3","datavalue":{"value":{"amount":"+0.93574876","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4272502$BDB2E432-47E1-4CC4-9D87-2AB045A7D13D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5bd3f4c6d2d1e6a09a1e1f27261e7bbd79034fb","datavalue":{"value":{"entity-type":"item","numeric-id":5187867,"id":"Q5187867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6678116125ef61739b32ba0149382e18774bc4be","datavalue":{"value":{"amount":"+0.92638856","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4272502$C4719B46-35B8-49E6-9E29-C38C1441DF37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ee590fc7e4e96baf110a09e808de8be714afffc","datavalue":{"value":{"entity-type":"item","numeric-id":1181709,"id":"Q1181709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90f273bfe477210c3ffe1ddb431ebe05000302ba","datavalue":{"value":{"amount":"+0.8787108","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4272502$FB731D59-7C94-4AC7-A0A0-BBD06F851F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53f6365ee95fb560a48ce0f38ae8042f9cbcc358","datavalue":{"value":{"entity-type":"item","numeric-id":4934139,"id":"Q4934139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe6d160e76b79498699fd2d0f1789888d66432eb","datavalue":{"value":{"amount":"+0.8724232","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4272502$BCCF33F3-D7E4-46F9-8992-FA172F39F21A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a69d0d2d0a68cca1649529e1ab4af048cd4c2cdf","datavalue":{"value":{"entity-type":"item","numeric-id":4893142,"id":"Q4893142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11f43143b571cd9033ba1fbd71f96d9f2fb7e932","datavalue":{"value":{"amount":"+0.8690594","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4272502$CB062C6E-4E20-4265-B1FC-18DC56A408F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4564dcbe209d24a2f509e63518773f769d6b6c9e","datavalue":{"value":{"entity-type":"item","numeric-id":4524792,"id":"Q4524792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4de4eb777ddd03d97eccd5d01c9519c352c4784f","datavalue":{"value":{"amount":"+0.8627844","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4272502$829CA7E2-3692-4DEA-AB5E-3D3D92A912BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eae2b24f8f1c826f359d1e2fb850d2dcdcb7b869","datavalue":{"value":{"entity-type":"item","numeric-id":2996159,"id":"Q2996159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f182c0382f80e7fb3dc2520dcd62c8a75b54547","datavalue":{"value":{"amount":"+0.8580264","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4272502$0C662ADB-83C4-445F-85FD-86BD0747443F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23bb56b96ef5e5c295d55edc38cff2deeecb8e47","datavalue":{"value":{"entity-type":"item","numeric-id":6109618,"id":"Q6109618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32251fe93c5fc3f114195c62ffc3019fa2c914b1","datavalue":{"value":{"amount":"+0.85746473","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4272502$E5DE3833-1655-420C-8F33-783F9B2F6491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d97920642832a791e207a9209a0261b313c5f07e","datavalue":{"value":{"entity-type":"item","numeric-id":5039205,"id":"Q5039205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd147e0995ddd9945203f843441e5f105c5745fc","datavalue":{"value":{"amount":"+0.85556585","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4272502$21CA5F3F-1104-4C12-964D-369C201FC93D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4272502$A158992B-CDAB-4F9C-89C2-7DE4D9973A13","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Tableaux Method for Systematic Simultaneous Search for Refutations and Models using Equational Problems","badges":[]}}}}}