{"entities":{"Q3768873":{"pageid":5798779,"ns":120,"title":"Item:Q3768873","lastrevid":51863837,"modified":"2026-01-20T10:26:53Z","type":"item","id":"Q3768873","labels":{"en":{"language":"en","value":"The degree of the set of sentences of predicate provability logic that are true under every interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4027430"}},"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":"Q3768873$D86C9890-A466-4E73-8535-B45C2881751A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2a28b76d9f4926343db9e6a3ae6e99f5737bd11b","datavalue":{"value":{"text":"The degree of the set of sentences of predicate provability logic that are true under every interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3768873$EA340F4F-8EEA-4F05-9B1B-D362DCC7A4BD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2c4ee97179b6f3f68c32ec358c9bf69399fa847","datavalue":{"value":"0632.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3768873$835D44B1-89AB-43FD-99BF-D0D15B82EC49","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"27edd6ca767eea9637e0f679d074f6ebf6911cfc","datavalue":{"value":"10.2307/2273871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3768873$AF67F22F-85C4-455B-A58B-702CF622FF21","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dae5d6cf705e82161555573be309f7a5a5d53fa9","datavalue":{"value":{"entity-type":"item","numeric-id":685072,"id":"Q685072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3768873$E3B484B3-4163-4171-85F3-CD4166DC002F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"892a2f763853382446e3f033a390a2d640eb6e2b","datavalue":{"value":{"entity-type":"item","numeric-id":242519,"id":"Q242519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3768873$870EFED7-2ED8-4308-8CE4-EE3A79948675","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3768873$330ADAFD-F375-4BAC-82EF-54E79E6578E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3768873$140248AD-2696-4D2E-AC77-E189B96DB41B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3768873$4C6E75CC-F588-4B43-B79F-5230501D15AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3768873$DCE76F9D-E95F-4594-A312-53DFE9AF0ED5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d890a3f5e0d8f150536a4f47535bafe527452db","datavalue":{"value":"4027430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3768873$4B8F7B85-ABB9-43A9-AC55-F899376A6FDB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce49c93382c34d0301892b6f76435b9a8965a1ab","datavalue":{"value":"predicate modal provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3768873$B94B98A4-5D3F-471E-AB7C-31BAF52F50A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"508d90ed2d0cb5ed3bb66db4c84128c9e2d80423","datavalue":{"value":"interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3768873$07EAC243-B59B-421D-AEAD-0ECE95FA0BF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be1268b65fc1d6781eb5c0f1073a98e5cb46f217","datavalue":{"value":"arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3768873$342BF8DB-7EC0-4AA9-AA6C-230179690C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fa2866caef43d0610af8d3e4becbc84d7cc408c","datavalue":{"value":"quantifier-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3768873$38AE0202-6D13-4370-9B0A-4B5AB44C2923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb6eec5d688a91d373d20dd9a33067c6b312c739","datavalue":{"value":"quantified modal provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3768873$B860E974-389E-435F-AB29-E3444961632B","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":"Q3768873$87C1AE5D-6CDF-492E-94BC-334B8C1578F1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3bc838378204a7d45cadae194c1497d3eb916e10","datavalue":{"value":"https://doi.org/10.2307/2273871","type":"string"},"datatype":"url"},"type":"statement","id":"Q3768873$9336810E-E6EF-471C-98B9-8ED4F6609DA7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4422c3cc1dd8f7364ae330626bd46e3d218883b8","datavalue":{"value":"W2049797799","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3768873$6F79FADA-0869-4043-8F9F-B60FD70153FB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"65af634f8ea04e9717486b98f2f6b61acf5b154f","datavalue":{"value":{"entity-type":"item","numeric-id":1235695,"id":"Q1235695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3768873$173746A4-342A-4220-8EBB-8A305F103C97","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3768873$7314023B-810E-4E24-8EDC-2F32A6C3F8EC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8525532039f0cee2e1fab3d8ec9d8caf975ddfc9","datavalue":{"value":{"entity-type":"item","numeric-id":3743302,"id":"Q3743302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3071ca97c535497b2e6262d70e19a740ebb67688","datavalue":{"value":{"amount":"+0.8733295202255249","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":"Q3768873$ECF5413A-C12A-44C9-AE15-87AA4FB3AB01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d21a2f09563d0ebe119eceeef4e8131d64b756d","datavalue":{"value":{"entity-type":"item","numeric-id":3760514,"id":"Q3760514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1a9a2ec2ed853be00c75d883b6536cf1efe8387","datavalue":{"value":{"amount":"+0.8192131519317627","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":"Q3768873$073B2F81-38D8-406D-92E2-7E7695D16A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee830c2602cae53dc524e7f165b169a576fdf12d","datavalue":{"value":{"entity-type":"item","numeric-id":750418,"id":"Q750418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81cbbf06e0695166f17637f90d974f0be791aeb7","datavalue":{"value":{"amount":"+0.8170719742774963","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":"Q3768873$1FC5CB6E-0D00-48E7-9D67-0828E3951FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85aa92b0f5a7436a503b5be64218b44b74b719b5","datavalue":{"value":{"entity-type":"item","numeric-id":4292606,"id":"Q4292606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e96cc6ef156273ecd9c758164ec65a02c9eecea7","datavalue":{"value":{"amount":"+0.8144814372062683","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":"Q3768873$8F2CF00C-D700-416D-950E-1181ECAA0980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b99192f5915e57a50e19a065d5c6b84517f27d0","datavalue":{"value":{"entity-type":"item","numeric-id":4215636,"id":"Q4215636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc0e869cbd8bce56e1cfaefbad801cf46609466f","datavalue":{"value":{"amount":"+0.8115611672401428","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":"Q3768873$70370A17-9A0F-4203-8E3F-107B159469DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3768873","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3768873"}}}}}