{"entities":{"Q877886":{"pageid":879734,"ns":120,"title":"Item:Q877886","lastrevid":65141715,"modified":"2026-04-12T00:36:22Z","type":"item","id":"Q877886","labels":{"en":{"language":"en","value":"Graph-based decision for G\u00f6del-Dummett logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5149281"}},"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":"Q877886$DBED75AA-B902-4E58-BA8A-F5A7E1B02090","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bff8edc3d2d57d2171a7bf2cc8a6d867fe33e56a","datavalue":{"value":{"text":"Graph-based decision for G\u00f6del-Dummett logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q877886$F3A07E94-7D0C-461E-BB78-48D5FACE5489","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"acb934d640c26f368257b67539ca7db0ca993496","datavalue":{"value":"1121.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877886$5551F48F-0C5E-4B64-99EA-0E8BE5EAC70E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa467ab0fb5921a8aef55b984db7a2882bc4957f","datavalue":{"value":{"entity-type":"item","numeric-id":877885,"id":"Q877885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877886$94B5BA8E-7051-464D-A286-BE5D5A50A959","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":"Q877886$EB09F2A8-D350-4800-9C95-D3C5C48D8172","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":"Q877886$9DD74FEA-4901-427E-9D1F-06869440CB40","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877886$C161226D-F294-403E-A09F-5CFADC44FED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877886$ECBDF45F-F833-473E-A47B-E0DF8EFFEC56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877886$2D0CADF1-1D70-44ED-A0A1-117A8AAF6AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877886$C14DBCC7-28E7-494B-8015-FFC06CC24C6F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60bc0e653cb83ee3762ad9138820f801176b5308","datavalue":{"value":"5149281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877886$28DE84E4-157F-4B63-88BD-3CE8F35B1698","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6430a49583aa0d495003972f707611a4330706c","datavalue":{"value":"graph-based decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q877886$EE34E833-1C40-4E6A-871A-7C6633D0E59A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db2c1feb0bdf7fd07f52336a31a45734b9e81192","datavalue":{"value":"countermodels","type":"string"},"datatype":"string"},"type":"statement","id":"Q877886$7638FC6B-F3A2-49A8-84EB-0170F246DA21","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":"Q877886$193477EB-CF2F-4829-B860-1C6DACE64AAF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4d9589f0d878c1295e8d6a1b0f90460521e690af","datavalue":{"value":"https://doi.org/10.1007/s10817-006-9047-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q877886$862F0C22-6415-4F14-85C6-C8AB9C336862","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"40e7f69c3ffd146d9e6ed471435558643b636aba","datavalue":{"value":"W1964353152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877886$339664C4-1751-4DCF-BC1B-551F6C17A904","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a23ef1a0e753d0b5a8d87fc14eb3b1fb9c5bd2e","datavalue":{"value":{"entity-type":"item","numeric-id":4700536,"id":"Q4700536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877886$0D83D3E6-EBE7-46D6-9E83-2A894E231D90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"046f24bfc450ce995ad35e04b66e6b95a73474e3","datavalue":{"value":{"entity-type":"item","numeric-id":2721190,"id":"Q2721190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877886$17B01648-97FF-466B-A1B8-69AAFD6902AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc7e628ce645756ff215e1270e8a57b64a1dd02","datavalue":{"value":{"entity-type":"item","numeric-id":5955614,"id":"Q5955614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877886$55432B2C-23B1-4F45-8752-990A8B1A9280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54c01d73898bf38981e692fd47db002c079f10b2","datavalue":{"value":{"entity-type":"item","numeric-id":4812316,"id":"Q4812316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877886$BEB5850C-847B-4492-BA5C-62D6F728FC3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4990d1da40f41df63d1b1cf33b30e19f9a38eba0","datavalue":{"value":{"entity-type":"item","numeric-id":5705945,"id":"Q5705945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877886$1E2D8D19-CBE2-4C01-824E-8F8F35E0D68F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b870bd3f7616c2307692f727cad9b33e047b823","datavalue":{"value":{"entity-type":"item","numeric-id":3264226,"id":"Q3264226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877886$399BDC92-F7DF-4722-97CA-6C82E4F98877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe4c1ea89bc5854f421d3a6b161146d5aecefa12","datavalue":{"value":{"entity-type":"item","numeric-id":4032862,"id":"Q4032862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877886$C6C1BD8C-2086-40CE-99C1-E26395D6F765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"938c18979ed4fc60e54ae58cdd699c3342ea9d22","datavalue":{"value":{"entity-type":"item","numeric-id":4255973,"id":"Q4255973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877886$E71A90C6-6CEB-4E6B-A6BF-3E8941C74033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaa51784aa185438cb3a111625f0aefe0dc4de40","datavalue":{"value":{"entity-type":"item","numeric-id":4809045,"id":"Q4809045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877886$152BF8C1-E6DE-4B05-9517-DB6CE22395EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ac5af7018527e1bf72823b18e47fc7cb198f413","datavalue":{"value":{"entity-type":"item","numeric-id":5307065,"id":"Q5307065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877886$FDC71444-F6CE-4C19-B917-1AB3ED1CD697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2608db415417106015c30042c3ddb4f20243faf","datavalue":{"value":{"entity-type":"item","numeric-id":5387874,"id":"Q5387874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877886$B01014BD-0D93-41FF-BEAC-E15CA7922831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d067b17aaa2f308b7f7dab68483121d0f85086a2","datavalue":{"value":{"entity-type":"item","numeric-id":2848063,"id":"Q2848063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877886$044670CC-C247-4E4A-B541-526696B4C615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d69284adfadca92f062e6fd355c9431a4b04894e","datavalue":{"value":{"entity-type":"item","numeric-id":5292654,"id":"Q5292654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877886$715A499B-ED58-4C40-BFDC-297E7C1618CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6315d9cda93162c2aba33a1d3e5ec00f12fd74a","datavalue":{"value":{"entity-type":"item","numeric-id":5729523,"id":"Q5729523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877886$25F0FAC8-C0A8-41CA-8B0E-ABE3F3679F62","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"116f57e5d324a95cd26f14072edc3fe7604ba73c","datavalue":{"value":"10.1007/S10817-006-9047-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877886$EB6B1CFE-5239-40D1-9A36-AE197497B3A3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55bda332e8bfd225176dff41f74045bd03a9e41f","datavalue":{"value":{"entity-type":"item","numeric-id":2848063,"id":"Q2848063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c40d9246bd6ed5394c467b433324c2c65082734","datavalue":{"value":{"amount":"+0.920741617679596","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":"Q877886$880D3BC7-5C86-49D4-AE68-2A40C847F44A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0d837011c0324d90a7fd740a53e1a04e120db58","datavalue":{"value":{"entity-type":"item","numeric-id":5307065,"id":"Q5307065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2392f8e32f99cf38563732833525972fa784e6f1","datavalue":{"value":{"amount":"+0.9043914675712584","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":"Q877886$56CFBF3B-FD44-4316-8E33-3AF3E40B2CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4170c4d5c1837b22a74ff9624bf56a3249eaf1cd","datavalue":{"value":{"entity-type":"item","numeric-id":4809045,"id":"Q4809045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c90f9ae7ed45fa8e593398f18106a36123956d10","datavalue":{"value":{"amount":"+0.8606119751930237","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":"Q877886$C2D249A6-FDCD-4BD2-A6FC-90205921EDBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"664a0ee14635908bc683f255f912037569321d0a","datavalue":{"value":{"entity-type":"item","numeric-id":5292654,"id":"Q5292654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4be8cdd7118eb9988a346f52017c56804f5fb869","datavalue":{"value":{"amount":"+0.785966157913208","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":"Q877886$4DBFF836-3B71-4A3B-AFD3-50E2DAD13CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1132362709d631dedda777384ec44f29c91cd6d6","datavalue":{"value":{"entity-type":"item","numeric-id":5956122,"id":"Q5956122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ce4505d1e503231f41d39055fe5d8329243fd9c","datavalue":{"value":{"amount":"+0.7713590264320374","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":"Q877886$759A4C23-0852-4014-949C-FF711DF9E689","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Graph-based decision for G\u00f6del-Dummett logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Graph-based_decision_for_G%C3%B6del-Dummett_logics"}}}}}