{"entities":{"Q5104546":{"pageid":7134122,"ns":120,"title":"Item:Q5104546","lastrevid":55422547,"modified":"2026-02-17T16:02:44Z","type":"item","id":"Q5104546","labels":{"en":{"language":"en","value":"Refutation systems in the finite"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7585088"}},"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":"Q5104546$88E6E264-2C99-44A2-A32C-26594C2CD13B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30b5148357ddc46afe7867b178a15576d428368d","datavalue":{"value":{"entity-type":"item","numeric-id":689213,"id":"Q689213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5104546$B6673806-4CC9-4ED0-A65D-D3BB662C6023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdeca7fa3ca61fb6bc221ab92d3afb1fb3a5ebcc","datavalue":{"value":{"entity-type":"item","numeric-id":703859,"id":"Q703859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5104546$BFD29D94-8F0E-41DD-882D-F454017F5B5F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1c797c26cdde3aad40e9314d3feb54ffdc057831","datavalue":{"value":{"time":"+2022-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":"Q5104546$8C9FF9A9-A265-4DB3-A5FF-C9485AFB07B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"11cabf296cbf78cefb4c4e9ef3c9625682c34a7d","datavalue":{"value":"03Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5104546$2AECFCAB-9EEF-44E8-A1B6-6FE056751564","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6938175b90dcf67b9b8e3a64b50fd44388be4094","datavalue":{"value":"7585088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5104546$8E991738-673B-48C2-BA6B-0F6FED66B912","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de4eeb7eb3ed203e5e20aeaf481af431c9373e41","datavalue":{"value":"refutation system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5104546$733E9351-439C-4690-B55D-CFFFB90E0CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce30a059987b2f7b6af78283abd539bd319562dc","datavalue":{"value":"refutability in the finite","type":"string"},"datatype":"string"},"type":"statement","id":"Q5104546$791A1BA3-F49A-4560-BD5E-38A6554A61CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5104546$E06785D0-D721-4D15-816E-BCA66EBDD1DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5104546$241827B3-2887-411D-9878-FDE0312A51A4","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":"Q5104546$5EF6E831-72DF-4A1B-957E-2AAD7FF7AD16","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81cf26ac68810aa69216000d8be658eabc5645aa","datavalue":{"value":{"entity-type":"item","numeric-id":1327486,"id":"Q1327486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55fabd3c00ab41b1f098ff19d46d80509fc00d80","datavalue":{"value":{"amount":"+0.8665915131568909","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":"Q5104546$513592C3-A1AE-46F1-B1A4-0A56FC7B7119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eca62356704fa695e905996a0c611589544600ab","datavalue":{"value":{"entity-type":"item","numeric-id":1903134,"id":"Q1903134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a515632bc95c98650914f9f7a48ac268e0ead48","datavalue":{"value":{"amount":"+0.8080877661705017","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":"Q5104546$50B08719-111F-4974-B28A-67AD9D98F6A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a97da843a4ce651bcbed31f5e2ab625b0db37dc9","datavalue":{"value":{"entity-type":"item","numeric-id":5202633,"id":"Q5202633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e382100ffd091573bb6322f6d9578442442e26dc","datavalue":{"value":{"amount":"+0.777848482131958","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":"Q5104546$C03DE303-3054-4261-80E0-F9997002D153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"143d23e5129f3b8ed5a35414a919ec7955adc00a","datavalue":{"value":{"entity-type":"item","numeric-id":6601769,"id":"Q6601769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5d129facb22dcbb67d26f6f25042b5debb6f39c","datavalue":{"value":{"amount":"+0.7686745524406433","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":"Q5104546$FAB9CF9A-1945-4AFA-9B67-7D8A754F1DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1b16b8c4b3275d9a16e32c10be633e01963a086","datavalue":{"value":{"entity-type":"item","numeric-id":3003264,"id":"Q3003264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88eca51b61b498fb5154ce7737fe00fcd13e739e","datavalue":{"value":{"amount":"+0.7606872320175171","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":"Q5104546$1C4C3CD0-98DE-4948-9B2A-FFEF2C2A43A9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5104546","badges":[]}}}}}