{"entities":{"Q6160742":{"pageid":13295623,"ns":120,"title":"Item:Q6160742","lastrevid":58728711,"modified":"2026-04-06T12:11:12Z","type":"item","id":"Q6160742","labels":{"en":{"language":"en","value":"What kinds of connectives cause the difference between intuitionistic predicate logic and the logic of constant domains?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7691322"}},"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":"Q6160742$490E121B-10D3-4F65-943E-314E0E9E4EF9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4825c485ec73a84d9a1e27a87273fe4ff71c1ea6","datavalue":{"value":{"text":"What kinds of connectives cause the difference between intuitionistic predicate logic and the logic of constant domains?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6160742$2D97CB65-7D32-4CDB-A19D-F5E030740232","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"56980e5de367f095534c725b2396731274bddade","datavalue":{"value":"10.1007/978-3-031-15298-6_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160742$A3727A90-06F2-4434-A31E-E6C68B2CE533","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0a93f19c4cc0c20d021d0666ee26e24957f36a0","datavalue":{"value":{"entity-type":"item","numeric-id":897479,"id":"Q897479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160742$4825E912-19F4-47FF-AD61-40480AB7DDB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a181d493b4ad6aa6ce40b0f22cea49accc5af864","datavalue":{"value":{"entity-type":"item","numeric-id":2153832,"id":"Q2153832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160742$B91AB275-781D-4B79-BA7F-DA1710315766","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e99766f237ba2ec64cd66b6c230146d768ddcdad","datavalue":{"value":{"entity-type":"item","numeric-id":2820680,"id":"Q2820680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160742$24141576-AC31-41BA-9A74-8818495BA75D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4fa95a2618f91e175d2e6cdf4f6ce4782d828b01","datavalue":{"value":{"time":"+2023-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6160742$424656B5-D1FB-4856-AE18-26489897AB33","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8a395854ac170cbaaab908df43c090d10272a7b8","datavalue":{"value":"https://arxiv.org/abs/2205.05995","type":"string"},"datatype":"url"},"type":"statement","id":"Q6160742$5B6BE2D7-0301-4E12-BE76-3565A69DBA57","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160742$5FEC9727-29AB-4232-AD41-922A07415DB1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1a06d992c914bc4eed1b80def4f62f01268c05f","datavalue":{"value":"7691322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160742$7AF7575A-594A-4FAA-987B-3DDAF39B99F6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6160742$8EE663A7-C403-4ACE-A89F-293BB4C6846E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14f3ab79f32f7258622fab9e50a2e5ff7cc42f49","datavalue":{"value":"propositional connective","type":"string"},"datatype":"string"},"type":"statement","id":"Q6160742$F901832E-7E50-43D8-AB4E-345F529A541D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ecf22179de14910d76d13274acccfe5262c428a","datavalue":{"value":"intuitionistic predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6160742$40925F25-D4A5-482A-B7F7-FD6A2B412EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dbd3a54bec2ef7c367e70e4b019898c96872549","datavalue":{"value":"the logic of constant domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q6160742$AC7309DF-76E8-4AF7-A93A-EFD56C869992","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":"Q6160742$FBD2F943-C225-4129-8BB3-B1F7228BC61D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5dfbc538077da75d332fb528c12551a8b230f68","datavalue":{"value":{"entity-type":"item","numeric-id":1148885,"id":"Q1148885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160742$BD23A3B7-CF1C-4BCA-948B-C7BB1A8BC188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2efed869f520a519778ae947641444a74adbe8bc","datavalue":{"value":{"entity-type":"item","numeric-id":5224496,"id":"Q5224496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160742$C0DFA2D9-4121-4962-A863-D95EACE74295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b1d90b026aa7bf916c80a03fd193eb86a199be3","datavalue":{"value":{"entity-type":"item","numeric-id":2153833,"id":"Q2153833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160742$B0C3AB3E-5674-4193-B561-E49CBF8263E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc0fbba62806d6611fde9901ad3ff3bed111c8f","datavalue":{"value":{"entity-type":"item","numeric-id":5509675,"id":"Q5509675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160742$E60C4550-C111-4C5E-BB92-2FD3712B5F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f80a973270310d1a76c577be08cfed0eeec32fa4","datavalue":{"value":{"entity-type":"item","numeric-id":5590049,"id":"Q5590049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160742$EDFD9276-9C63-4ABA-B661-31569C69F9EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afb3ad0fdf9001a5819d8c7bfbc5b6db7edd2611","datavalue":{"value":{"entity-type":"item","numeric-id":1111537,"id":"Q1111537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"180fd80a5e5fbcfc7b913f2909b6fdd7db593506","datavalue":{"value":{"amount":"+0.8095462918281555","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":"Q6160742$CBE2FABD-3963-46F7-86E7-542CB30FFF21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd3e6a3e532e61086ff137c201f5872a15862ac1","datavalue":{"value":{"entity-type":"item","numeric-id":4724624,"id":"Q4724624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab756aba34fc8607470b3dbd053aaa9769a25630","datavalue":{"value":{"amount":"+0.7780674695968628","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":"Q6160742$DAD09D39-B8AE-4CCA-8009-8E9D8EE7A7D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e8eef91c582e10b0ff06cbfcbc0182e8b97c397","datavalue":{"value":{"entity-type":"item","numeric-id":1111536,"id":"Q1111536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bed14c0fd75e49f7db4e2b3041875e5851bec86e","datavalue":{"value":{"amount":"+0.764316737651825","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":"Q6160742$91E4BA3A-80C5-4DFC-90C2-A8D5FE070EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e76e58fd62e8ea3dad3641d4ce2af9212f9db7c3","datavalue":{"value":{"entity-type":"item","numeric-id":3787971,"id":"Q3787971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f9ddddc562f03417ced3f85a6d3e04adc8707e9","datavalue":{"value":{"amount":"+0.757699728012085","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":"Q6160742$B87B35D1-2F57-49B0-A741-17F50DF55BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78d1ae439197eba0c71b4c11766ec89e77d56a2f","datavalue":{"value":{"entity-type":"item","numeric-id":3384897,"id":"Q3384897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cdf2ea5b5ab2bc5831b93ec3686eb212f5b393b","datavalue":{"value":{"amount":"+0.7319043278694153","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":"Q6160742$32FB18E8-C195-4DAE-A24E-CAE473BC7316","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6160742","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6160742"}}}}}