{"entities":{"Q3216644":{"pageid":3227352,"ns":120,"title":"Item:Q3216644","lastrevid":48765823,"modified":"2026-01-05T19:46:26Z","type":"item","id":"Q3216644","labels":{"en":{"language":"en","value":"ABSOLUTE REALIZABILITY OF PREDICATE FORMULAS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3882421"}},"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":"Q3216644$53CE409D-EB56-4221-865F-BFD11A1AD133","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"941255d56b01b342739ac3e8b114c0e727b0c5b7","datavalue":{"value":{"text":"ABSOLUTE REALIZABILITY OF PREDICATE FORMULAS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3216644$FDFBB535-80BD-4741-B71F-046493182562","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c63e847735f6bae5a199d1db59aca2a907d8c45","datavalue":{"value":"0554.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3216644$7CB0E63C-3865-4617-8194-4DB1A08FBF4C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"074fca8e7eb97ff9031d44469e4dd227e8d0736a","datavalue":{"value":{"entity-type":"item","numeric-id":234728,"id":"Q234728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3216644$C315B2ED-74E8-47A5-ACAF-36EE5A7B1F53","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c7b33a6340c2e117b07fcbe639005ddb5de09fe7","datavalue":{"value":{"entity-type":"item","numeric-id":3025699,"id":"Q3025699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3216644$7EB16A9E-2B2B-42C0-9401-0FB3F64FE6FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3216644$307B1A18-D339-493A-8D36-6822576EABDA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3216644$035F37FF-0D09-44E2-AA48-5D96D7F13D4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3216644$EAEA502B-D848-4B59-A1E1-C3539599041D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"edb3b5616eee655e566f0066d7f7c2e7a4965b94","datavalue":{"value":"3882421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3216644$16FF8915-285F-4F01-83EE-A696401A6154","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5773c2fe170a0acf836fee31d75bda126723e59e","datavalue":{"value":"generalized predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q3216644$F3095B92-E8B4-4F60-98AB-8EA61D19C397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dfa7a56644ee7720c8b358fb5ab193dca84ec75","datavalue":{"value":"realizers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3216644$7D684398-4121-4927-BAEB-8A8F83A29D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5193659e139c5b0aa9149347f075efdef9542a6e","datavalue":{"value":"Heyting's predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3216644$1D14ED6F-5B2C-4CBA-A93D-1FCE657A8868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f1a87a3787bbf4f3e0d58dfbed1f00eb7c010b1","datavalue":{"value":"absolutely realizable formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q3216644$8895FB65-C4AB-4E9A-838D-979DD6101411","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":"Q3216644$C144AD41-7EA6-491C-9C43-531CE9EC822C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f8c53bf1a1afde92644d10e252717b25bca1cdc5","datavalue":{"value":"https://doi.org/10.1070/im1984v022n02abeh001444","type":"string"},"datatype":"url"},"type":"statement","id":"Q3216644$C9EB7AC7-E048-48A7-A3E9-BBFDE45018C2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"271bdbfb1f2f7ac526e2cb115e954c853e4cc348","datavalue":{"value":"W2060571736","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3216644$38B522CA-4025-4A3F-A148-50CF59D0E9EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b485a861b5af4235448526002f887f65bc44b81c","datavalue":{"value":"10.1070/IM1984V022N02ABEH001444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3216644$56392D48-0F1D-490B-9499-8725CF1F9792","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30e180b012ea47dc785fc3662940e4ff286514d6","datavalue":{"value":{"entity-type":"item","numeric-id":4133605,"id":"Q4133605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f79764ae64fbf4cd2222adc1f69e46a3dd5ea3dc","datavalue":{"value":{"amount":"+0.8613824248313904","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":"Q3216644$9EE2ACD1-DEB3-4502-B156-03D22F3697D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b9f903e8936865bfd264bb778af6be43fb26bf7","datavalue":{"value":{"entity-type":"item","numeric-id":5056354,"id":"Q5056354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a61e3bbfb9a4b1ce5369c9cd035b0866d8e0dd89","datavalue":{"value":{"amount":"+0.8255330920219421","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":"Q3216644$84BDD7AF-C735-41FF-9D84-F33890705EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad2046776814bf1bed67e77bc1a5477dd1a01601","datavalue":{"value":{"entity-type":"item","numeric-id":1274048,"id":"Q1274048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"defed714bd1b77debe1c0943e29047dd24c3d9c6","datavalue":{"value":{"amount":"+0.8086477518081665","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":"Q3216644$98F073A4-1BBE-449A-A286-7C6A8832348F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73eabf2d7cc31c5ea584b0ffcad2471c34535138","datavalue":{"value":{"entity-type":"item","numeric-id":2320010,"id":"Q2320010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c6c527e0661cdc158b3932761e4ab79d7a114ce","datavalue":{"value":{"amount":"+0.7981409430503845","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":"Q3216644$32535A01-A828-4ED2-B389-2F151ECAEB92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9494c8d8cbea90756ac430ceafb04440ca167b4","datavalue":{"value":{"entity-type":"item","numeric-id":4440609,"id":"Q4440609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b71c3ea0bbb0d94e555a6ebace5ab44f82dcad75","datavalue":{"value":{"amount":"+0.7973026037216187","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":"Q3216644$8D146BDF-F223-4410-9830-3172D8AF5498","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3216644","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3216644"}}}}}