{"entities":{"Q4340930":{"pageid":6370529,"ns":120,"title":"Item:Q4340930","lastrevid":46556862,"modified":"2025-12-25T00:51:53Z","type":"item","id":"Q4340930","labels":{"en":{"language":"en","value":"The logic of informational independence and finite models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1021719"}},"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":"Q4340930$31E58F1C-3AB1-45EC-9903-920C90521F55","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1640c3ab3911e8a66e728875207872d6e9412b94","datavalue":{"value":{"text":"The logic of informational independence and finite models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4340930$1D34DFD7-141D-435E-AD11-B55A17563D4C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"802c20373137d90b16ac335377f8226da2d14cba","datavalue":{"value":"0882.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340930$2655EC85-C4E0-4A85-B0A5-5E38BE7C4C65","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf10ba91ac137fa03b29a145299a9342d8636d27","datavalue":{"value":{"entity-type":"item","numeric-id":169440,"id":"Q169440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4340930$3540FE10-F073-4460-987D-F1985C3D1B02","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f90b4e4f8d3c91bc0cb00b95b47a240b3f524981","datavalue":{"value":{"time":"+1998-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4340930$896C0B85-2612-4951-8723-4D9A2670E994","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340930$DCA25570-C023-4D2E-9235-A9E0D5B1A25F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340930$EB78B1B8-717E-4731-ADC1-3A7C769C74D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340930$B9526017-4F6D-4051-808F-531C21A4303D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340930$96074DBE-2A67-45ED-88E2-D4B4CE8ECC60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e29386ab56309ff8c722c73f426840ab86db1881","datavalue":{"value":"03B80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340930$B24D20AC-9A58-4F10-A35B-307604C4419D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340930$D87FCE86-CD3E-4C1A-BA8A-3F820C222856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340930$BD05B5D9-7415-4764-AE68-28C0FE81382B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ad6a8524e9c93bb153ef52320b3624ac58e438c","datavalue":{"value":"1021719","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340930$B68664FE-AA5D-415F-AAA7-F29A01DFFD16","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81ebb98b3dd06033fbc6fd3967eb5f4b5a73320e","datavalue":{"value":"partially-ordered quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4340930$F4536970-E21D-4017-8F77-9160BA4D73B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa7375a8be181c3039c91f3ce4d4f578384a46f0","datavalue":{"value":"Henkin quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4340930$09AD5780-9453-456A-8EFA-201EC57FF113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e3aefda6146ec01b513a4bbf21440f7e9242198","datavalue":{"value":"extension of first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4340930$F3256702-1A63-4304-B157-5252AF14F6E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q4340930$785EE125-F7AD-4239-8340-E12FB356360C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62e02371642cec8856a2b0f1982452bbc08d0d63","datavalue":{"value":"finite models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4340930$C7DE6233-8B05-4013-913F-0BCBF063D665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"718f9528e8179c6f38eb8d1a62532861cbd734ec","datavalue":{"value":"restricted interpolation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4340930$086BFFD5-A6F6-472B-A709-35E1C790B95D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"641a19246862c143b4ff8d47aeec012cb62dd4c3","datavalue":{"value":"logic of informational independence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4340930$8C02A7B4-73D5-409E-96DC-C0A2E50C0C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c8c9e80036612c21ad2ec3b6579e3228fd2ea1e","datavalue":{"value":"NP-complete problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4340930$4C20B24B-803C-4EB9-AF9F-C19D2F6FC878","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":"Q4340930$D2BCA1F7-3AC4-4B01-9CEC-C0269CFF48BF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6927173f7162c0288a8970d782abd06ffa578ad2","datavalue":{"value":"https://doi.org/10.1093/jigpal/5.1.79","type":"string"},"datatype":"url"},"type":"statement","id":"Q4340930$98D4964F-BBC5-4AC7-A2AA-8F2F81305D88","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"102ac027527b00ab75829b4219890fd508bac100","datavalue":{"value":"W2055269743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340930$56084B15-276F-421F-BF03-987810517AD7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9c84207ba4a7c8dcc9227debd50c6aa5de01901a","datavalue":{"value":"10.1093/JIGPAL/5.1.79","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340930$FEA46FC4-ADDE-46CF-954A-31E00BD118D8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4340930$3452C3C0-1D71-47FE-A323-809DF4BBF29A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56508ccfe1313f2d0a31d5a7848cd6cc6b16946b","datavalue":{"value":{"entity-type":"item","numeric-id":1208148,"id":"Q1208148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1b1d41c785a32fbf65c049c469a585bab5588f4","datavalue":{"value":{"amount":"+0.8014917969703674","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":"Q4340930$4DE4252E-FD5C-4FD4-BC42-645678E7610D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bc66c2e44c7fabc3da3732127dc67e4e892f685","datavalue":{"value":{"entity-type":"item","numeric-id":1779313,"id":"Q1779313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"195d865b4d7312d1df9ad4960e5b57bf102ddc48","datavalue":{"value":{"amount":"+0.7962712049484253","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":"Q4340930$3C18470D-5A4C-4201-8D88-95A726B0C77C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b81a45e168373a9af98cb46de3a98d34af86198","datavalue":{"value":{"entity-type":"item","numeric-id":4360863,"id":"Q4360863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5102652c616c9b44e673a7c6cd29ab39b7f00f00","datavalue":{"value":{"amount":"+0.7497838139533997","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":"Q4340930$6FF98413-D02F-422A-8A16-B6E397E5C92E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1897819873a2f4dae24033f04f2fdc2d672df216","datavalue":{"value":{"entity-type":"item","numeric-id":2753677,"id":"Q2753677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8615a923033c0788183702f377ec398b630730a3","datavalue":{"value":{"amount":"+0.7488957643508911","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":"Q4340930$ED05CCFD-BD77-4AAB-BB58-FD8D6B6037E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4340930","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4340930"}}}}}