{"entities":{"Q5214742":{"pageid":7244312,"ns":120,"title":"Item:Q5214742","lastrevid":53655596,"modified":"2026-01-25T12:23:34Z","type":"item","id":"Q5214742","labels":{"en":{"language":"en","value":"Dummett logic, irreflexive modality and Novikov completeness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7163003"}},"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":"Q5214742$A40062D6-72B7-469D-AC63-3424E4839115","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bcaa76f03d456aed7095d5d24792fa808c482541","datavalue":{"value":{"text":"Dummett Logic, Irreflexive Modality and Novikov Completeness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5214742$69152374-B487-45E2-B6C0-5A963D87F180","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1810a95c4ec322698d17083e52de26f2322f8ebc","datavalue":{"value":"1429.03061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5214742$C61ED97B-89B4-48F7-A625-24286DC85451","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"972c436f66f1bbd473ee3544b4bd61e24c4f192f","datavalue":{"value":"10.1007/978-3-319-69917-2_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5214742$3F9C3475-E1D7-4413-98E7-8698B7A31E69","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e216be41eaeeaf77df21a52e8f7b1595a60bfd85","datavalue":{"value":{"entity-type":"item","numeric-id":5214728,"id":"Q5214728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214742$E4916F92-A01D-46E9-A7F8-B97F1D74EBEE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8fd6773eb39a2e4f69da6f4fd97619a5587c8913","datavalue":{"value":{"time":"+2020-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5214742$F7EC4D8F-A815-42DD-9113-83F0C2688D73","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5214742$0AB1ED0D-D619-4E6C-AB82-CBF7E0F3C47B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5214742$B91732DF-A149-476C-B2A5-FE7669412F68","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b62a725693b28cecbca449615f69758e6242ba2","datavalue":{"value":"7163003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5214742$54C6356C-28A8-486E-8251-81DA476B61E0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cdafd26dde435ed6059e8b8930e3f4a4968cd3a","datavalue":{"value":"new logical connective","type":"string"},"datatype":"string"},"type":"statement","id":"Q5214742$61CA02A7-9164-4266-909C-49B952C16165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5fd830a01df981907a0b08d38c458eb4d064faf","datavalue":{"value":"Dummett logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5214742$5079EACE-1263-46EB-9A74-703F52732497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9573b52482091f1cc6766ed0ec746ccd72ad151","datavalue":{"value":"Novikov completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5214742$00F13F1E-C5BE-4914-88ED-B2C0B238E19D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee5015171e2f57a73921a54f50bb5ecad403c04d","datavalue":{"value":{"entity-type":"item","numeric-id":721380,"id":"Q721380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214742$9447A5B1-E931-4D07-95B3-5AB00523211D","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":"Q5214742$8FED5A05-1748-4E13-A334-7790FD21753C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6c30fbf63523780e45e8bef89e6e75750dd6ab5e","datavalue":{"value":"https://doi.org/10.1007/978-3-319-69917-2_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q5214742$F3344D0D-F4CD-4B9F-95CF-2F94413E01E7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b8cda331e94d208fae2ee8a72d1f0bace7eeec56","datavalue":{"value":"W2791882093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5214742$F6439149-5A54-47F8-AB35-896F9FD4D318","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a66f363ab233579eaf695c7f57bcbeee02e7729","datavalue":{"value":{"entity-type":"item","numeric-id":1132866,"id":"Q1132866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214742$F8FD3162-01EA-4239-A911-CFF39D2DC4ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214742$A8DEB28D-6E98-477C-BBC2-89623989AE42","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":"Q5214742$8089822E-84CD-469C-BA24-339080E10FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f081c411f7e6b4930b62d10eb2f12caa43565bf6","datavalue":{"value":{"entity-type":"item","numeric-id":4128788,"id":"Q4128788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214742$A849795F-987E-439A-8970-E740DE4F0DD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41d991cd5602b157aecd21faf84810ebd69c2d96","datavalue":{"value":{"entity-type":"item","numeric-id":4128789,"id":"Q4128789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214742$3E5445C2-342D-46CD-9E2A-92CEF0BC8B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6abb0b07da125902ee0ba5458295ae66889b82b0","datavalue":{"value":{"entity-type":"item","numeric-id":3708775,"id":"Q3708775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214742$8AB63BA7-0AA3-4490-9BA0-31C1D50F51B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82e69b725f6112ecd9384d9f4600cfb645f2c024","datavalue":{"value":{"entity-type":"item","numeric-id":2265416,"id":"Q2265416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214742$2B1EC940-3472-47DF-9836-8084FCFF2A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"822f5ac3439f6c99ce12ae6eab749e178e617ace","datavalue":{"value":{"entity-type":"item","numeric-id":5727650,"id":"Q5727650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214742$80C12702-C287-4286-96F2-21925F909A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2720b05746d4b48af2f99f7de5259dc20ff88224","datavalue":{"value":{"entity-type":"item","numeric-id":1288137,"id":"Q1288137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214742$56DA542C-B6C2-43CA-9B74-83A6D80942E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd75d4fb628b56760fe0181126fed87c0576ba54","datavalue":{"value":{"entity-type":"item","numeric-id":467677,"id":"Q467677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214742$6D6AB1B2-1D65-45E0-9B9E-3E8859BD9B98","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"718b1139723d10d79c3d8f15d0e1f538c6f38679","datavalue":{"value":{"entity-type":"item","numeric-id":467677,"id":"Q467677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68639206074403d445dd7aa79f3fbe4d47bb1169","datavalue":{"value":{"amount":"+0.8939801454544067","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":"Q5214742$7CFFA6E3-88DB-49EE-B4AA-4F6B8825A922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebd68df20f8c8095ba7eb117711c87fe8b73269d","datavalue":{"value":{"entity-type":"item","numeric-id":721381,"id":"Q721381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9054d9b0dbcda2744c8073882026acbc785b18b2","datavalue":{"value":{"amount":"+0.8659454584121704","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":"Q5214742$EEA24AE1-94AF-4DAC-B3C1-0586E27865E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"547e8e0bb43ce919a238f3a891cb1d62d56e9fb6","datavalue":{"value":{"entity-type":"item","numeric-id":1288137,"id":"Q1288137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85c8de64dc0ebbf1b9a3332580f9ed3385fba40d","datavalue":{"value":{"amount":"+0.854582667350769","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":"Q5214742$4ED4BC5A-DB10-4D13-889C-5650D672FC22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dae5454e4fb1c2aa4c5823e0e580bc9b4bdcd59","datavalue":{"value":{"entity-type":"item","numeric-id":2026740,"id":"Q2026740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97bc300737b961adf13d2c84cd364d1b58ad6190","datavalue":{"value":{"amount":"+0.8166147470474243","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":"Q5214742$C9670A1F-3695-4CDC-9E41-A3A1F6B363B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b948cdcc9e3e951a002436c159e6ef798b5b7b30","datavalue":{"value":{"entity-type":"item","numeric-id":695769,"id":"Q695769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25efa30dfed1a1f61d62e7cdd0609dbc915f0cf4","datavalue":{"value":{"amount":"+0.8145495057106018","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":"Q5214742$64ADB9DB-7D4A-4735-BF63-4C3C39FF0F5A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5214742","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5214742"}}}}}