{"entities":{"Q2508810":{"pageid":2519553,"ns":120,"title":"Item:Q2508810","lastrevid":49949053,"modified":"2026-01-12T06:09:12Z","type":"item","id":"Q2508810","labels":{"en":{"language":"en","value":"Making logical inferences in inconsistent systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5065981"}},"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":"Q2508810$4904D2E2-6DB1-462E-9A12-CE74DF2F7B14","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"04f489753c7e34943da1b2d01906058eebb17066","datavalue":{"value":{"text":"Making logical inferences in inconsistent systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2508810$AFAD6AF3-6AE8-4047-ABB4-7CF9800EC756","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8079976c99d4869d03dbf972e6cd59841b166f66","datavalue":{"value":"1102.68645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2508810$4AE824BA-17E3-4345-81BD-64B3B1CD58DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a6165d268539dcbe0cd80141b9767cd8e311d59","datavalue":{"value":{"entity-type":"item","numeric-id":174232,"id":"Q174232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2508810$C3749087-9BED-4A16-92D6-C0FDA95564D2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2508810$31F01524-B259-4678-9888-64A782E9D960","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"04d8047ef91e7ccd7af1b39494c1aad77dacfac1","datavalue":{"value":{"time":"+2006-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2508810$CC73AEC7-7D38-4F48-B522-DD9B22F2B92A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2508810$C3BB71F2-7BE3-4D3C-80A8-7BE147D46046","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"920927daf5341e80b4f0e79499943b1a4ac7365e","datavalue":{"value":"5065981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2508810$103E39DB-C968-4ACB-BE07-55FE2269E97C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d45298f5eb47d54ff853776e6e634fc21f7a118","datavalue":{"value":"anomaly of identification of inferences and proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2508810$A730F630-0E52-4868-9FF6-1E55EEA9659B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa0224da968d67397b807001e1524493fc56b1bf","datavalue":{"value":"logical calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2508810$979D9927-19B3-4E6F-9290-4054ED6FDF5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4d9dab0470346736307c578f5b497437034bff8","datavalue":{"value":"machine for recognition of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2508810$FC521065-3587-4E5E-A294-BE3BF0018B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bea4e4067b8d069539bde35b25f6cb7547b2d84","datavalue":{"value":"incorrect sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2508810$F5653F90-570A-4186-92C9-EE3559A28EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93cbbe3aacb0282d348cb5e7d78e394a1a6097ce","datavalue":{"value":"inference rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q2508810$F0C47AAD-7551-4F87-A739-964640DF01CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3b508d1c668c3f2ebe0545e823f48d2d5ecfb07","datavalue":{"value":"formal system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2508810$1F740CEE-4641-4C2C-805C-E2344A7CDD09","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":"Q2508810$2ABC16C0-55C8-4426-830D-CABAB2DF0CB7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"20f40e5c58e20fafddca53301194179fae4a6a8b","datavalue":{"value":"https://doi.org/10.1007/s10559-006-0003-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2508810$99EC9CE5-B5C9-4C21-8D28-52502A8B2E01","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4b7c5dd8f6b7b8f7f990e88eb12dc13c21107c6c","datavalue":{"value":"W2039567224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2508810$4B57AC92-AB2A-4265-ABCC-50797E642312","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"aad83c9d4c288ba38f01d6678d41d0298f673096","datavalue":{"value":{"entity-type":"item","numeric-id":3874195,"id":"Q3874195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2508810$B6F637F7-A141-4282-87DF-6DD0769B58AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caad9f8a3047bf0c0737752edaa1c2776efc5221","datavalue":{"value":{"entity-type":"item","numeric-id":5834318,"id":"Q5834318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2508810$4A809F1B-CD56-4D3A-84F8-D43B844266FF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fdbc2f6a89c8fc7e0ad0e2083faa1dad19c40c11","datavalue":{"value":"10.1007/S10559-006-0003-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2508810$E62CA9D8-51E9-4AAE-A71F-B2E191E8C2C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13822f33870fc59fe2fd0721b391a18e28903499","datavalue":{"value":{"entity-type":"item","numeric-id":3204442,"id":"Q3204442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6c9b21ff1f53a80b1a688954a2fc3aa0b9542be","datavalue":{"value":{"amount":"+0.765390932559967","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":"Q2508810$C16F30FB-D9DC-4B2D-B96A-78C7FBF9A46C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7bde3e6e58d758a15bf76d42f740c0a263f438f","datavalue":{"value":{"entity-type":"item","numeric-id":5901538,"id":"Q5901538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79d9030f902308550764783fc94130aec71c227f","datavalue":{"value":{"amount":"+0.7552952170372009","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":"Q2508810$21F65B38-1A88-4D2E-8713-FF68A864DDAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"055b3b3e7cde54f5a266158e1b512605dc139444","datavalue":{"value":{"entity-type":"item","numeric-id":4236373,"id":"Q4236373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff27ecfdf501a0fa5b6ee508ffeca4bbbaa0532d","datavalue":{"value":{"amount":"+0.7548630833625793","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":"Q2508810$2371DD98-9CAF-4089-A7D0-C048DD1B97EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee49e76f6674a63d8ede6dc2a33ba7212aa65784","datavalue":{"value":{"entity-type":"item","numeric-id":3509215,"id":"Q3509215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e847e9f8ec591f2e975fb8efd611d9555906ca8","datavalue":{"value":{"amount":"+0.741118311882019","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":"Q2508810$CC459C18-AAC0-4E12-AA18-A9B64FED3EA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bf3f2b79d12b5d20cec4670705d46e0c5164e75","datavalue":{"value":{"entity-type":"item","numeric-id":527198,"id":"Q527198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80e1e7e8b529cc3169b0ee3884d40e3518c018f3","datavalue":{"value":{"amount":"+0.737024188041687","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":"Q2508810$9538BC62-544C-4947-AEDD-D6C751B2E50D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2508810","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2508810"}}}}}