{"entities":{"Q5915779":{"pageid":8031888,"ns":120,"title":"Item:Q5915779","lastrevid":52981457,"modified":"2026-01-23T23:17:36Z","type":"item","id":"Q5915779","labels":{"en":{"language":"en","value":"Independence-friendly logic without Henkin quantification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6820458"}},"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":"Q5915779$BA986BEA-A982-40A7-A5BA-A6A62D5AE6A3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"329adcaa3724794cc4c6fe3bd053e990d7ddc5b4","datavalue":{"value":{"text":"Independence-friendly logic without Henkin quantification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5915779$0C8DD6FE-1774-4723-A806-41EAD0216D2F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d0cc6570d7a526b540eb8d89aee63c9a926a1609","datavalue":{"value":"1496.03111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915779$B5E50366-9D93-495A-B35A-ABA1BAF07EDB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"18be1c272decaedec2065f75b16099d0c97dc696","datavalue":{"value":"10.1007/978-3-662-55386-2_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915779$575B5807-B656-43B4-AFA1-52478BF2FFB9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2a2ca5508567b3a2a8e16076de81d82e5473f2d","datavalue":{"value":{"entity-type":"item","numeric-id":1685905,"id":"Q1685905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915779$A0613B00-0893-4C9C-9CAF-E6F40C7D5566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4601a858f87638d70dc47292abc072f2d23b4985","datavalue":{"value":{"entity-type":"item","numeric-id":259069,"id":"Q259069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915779$C1DED6CF-AB53-4672-99A8-2AA024D1CC88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d1d40d28e0398bcf7c4805f2a1cae910df48add","datavalue":{"value":{"entity-type":"item","numeric-id":1679740,"id":"Q1679740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915779$9C00019B-DD89-4578-A2F7-BB52BD1A74ED","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":"Q5915779$4CBACB26-06BD-4980-9256-3539DA1996B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d1f424280bd3a1cce6255069d9afac8f911a0ea0","datavalue":{"value":{"time":"+2017-12-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":"Q5915779$14F600AB-AF4E-4659-9292-E6EEF5021C3C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1cc1c1fb9d155bb91d0bb2aa2262dc38ea4b2f70","datavalue":{"value":"https://trepo.tuni.fi/handle/10024/116929","type":"string"},"datatype":"url"},"type":"statement","id":"Q5915779$EEF96A75-9B69-456C-A8D1-2D236D0C631F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915779$C3B622C3-1896-4402-B4BE-8138CA05568F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915779$897980D9-7244-4C6E-AD02-744590B342A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915779$764925F0-ACBA-415B-942A-4DACFF04E42A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19b158aaeb81f7f43463dbd7cd08d370f115bf7c","datavalue":{"value":"91A28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915779$293BFE6F-ADC1-4EAE-B326-4A7B5A77A1A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7586b489aa1628711d00a6b9a7cdf3f72b64164","datavalue":{"value":"6820458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915779$39D55F0E-8E03-401D-8E3D-DBBE0835DF7F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76d797a0d444b524a5821fa450f69440856dfae0","datavalue":{"value":"independence-friendly logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5915779$64C36B95-DB33-4182-9097-A64151BAED62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f400a023e8b9f92b2e92f8004dd5679fc62ae238","datavalue":{"value":"game-theoretical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5915779$048F3F62-9A9C-4A23-9137-136FD67982AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a0ba4ed193b809362e5e4d00b4ef334f413a2b1","datavalue":{"value":"Henkin quantification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5915779$6721F1BB-1E13-4984-8DDF-B3BF53A941FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e34c970d59edb9abf74fadb8a97304113013574","datavalue":{"value":"action recall","type":"string"},"datatype":"string"},"type":"statement","id":"Q5915779$A1FA8C86-CE54-4027-A353-B65E311EB912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdb8ea2cd95cde1c7b6221335a36f3c888a39e06","datavalue":{"value":"signalling","type":"string"},"datatype":"string"},"type":"statement","id":"Q5915779$BC53EC2C-5019-4AAF-A0A4-6B11C8386355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fc29fb6866ff15dbc5079f8d12fecff6f66005b","datavalue":{"value":"existential second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5915779$21F5BA2B-94DA-4A9F-BC54-1E1165DBFB9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q5915779$B296A36F-990E-4086-BC69-2DBAEFB50714","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":"Q5915779$2B7E3B38-F884-4CBA-B4EF-22A4040FC9D3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"703d9ee6b3e946d4289ba9b6b4bf312786db9006","datavalue":{"value":"W2724849512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915779$BAD031B7-BB08-4A87-BB36-9C91D5155938","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5fb881a040acb4671c75d44e01b579881a3c912","datavalue":{"value":{"entity-type":"item","numeric-id":5918342,"id":"Q5918342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"563b8beb103cf98fa0f06746a5a06c916bf5b75b","datavalue":{"value":{"amount":"+0.933496594429016","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":"Q5915779$FF7DB87A-DE69-48B9-86EB-8607F6D72529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14576a03e07683b305cc9741d951816e737d8b5d","datavalue":{"value":{"entity-type":"item","numeric-id":4928773,"id":"Q4928773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d83257b9964c17acf17819bdb7338456b7cc4818","datavalue":{"value":{"amount":"+0.8081800937652588","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":"Q5915779$BF988517-7619-47B9-B63E-B433557C6FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f12c2a5b7fcda7ff22d593864a81103249295f8","datavalue":{"value":{"entity-type":"item","numeric-id":5172144,"id":"Q5172144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9773030ae2baa1e6448bc8b701e6a91913de56ad","datavalue":{"value":{"amount":"+0.8037324547767639","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":"Q5915779$AC3ED419-4E9E-4E59-BE7A-C601355534BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a4b1910a55dd17f664442273bce23c42bb632c8","datavalue":{"value":{"entity-type":"item","numeric-id":3077957,"id":"Q3077957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5db2c03ec801b4743508114924f0a248c2819aa","datavalue":{"value":{"amount":"+0.7964180707931519","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":"Q5915779$1A7521FB-49D9-4B65-ACB3-8678C86AC90D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2efbbca67a339d59177a5f26352872318b374b96","datavalue":{"value":{"entity-type":"item","numeric-id":1956377,"id":"Q1956377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0e16063184bf0a378695e301e73894cb3cabdc6","datavalue":{"value":{"amount":"+0.7948516607284546","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":"Q5915779$C05BBBF7-FC4D-4C5D-ABD1-B72CF0EC18D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5915779","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5915779"}}}}}