{"entities":{"Q3001092":{"pageid":3011816,"ns":120,"title":"Item:Q3001092","lastrevid":85368866,"modified":"2026-06-03T07:25:35Z","type":"item","id":"Q3001092","labels":{"en":{"language":"en","value":"On the Craig interpolation and the fixed point properties for GLP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5901614"}},"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":"Q3001092$69F979E9-6598-4436-ACA8-7FA3D0DABF80","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"56a645f0b0cdb6993d6a84a2534b3266864c560b","datavalue":{"value":"1229.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3001092$32BED87F-382B-4583-83A6-F1ABA0C94D0A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fad9e66134bb431a5ce183a1b3c2f5a020fa1ea2","datavalue":{"value":{"time":"+2011-05-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3001092$413D2545-3347-4997-8C8C-CE33F0F66477","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3001092$AE65D15F-75E4-4ED1-B2BB-7E32154B4FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3001092$210EDCEA-D279-4175-AF44-04E77BC80998","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e06b6055360a332196bda260881ec40f3f0617b7","datavalue":{"value":"5901614","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3001092$61106326-3094-4AB4-832A-1E432723307F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3001092$073E396A-D13C-4ECD-98F1-6A3C3AB52340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03f1ce721ffa5b2f36084f57048f17032077e128","datavalue":{"value":"Craig interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3001092$F2DE978B-043F-4B12-BD28-4D63852C6BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0935c569cb83e63088b9b56702c72489027a4d56","datavalue":{"value":"fixed point","type":"string"},"datatype":"string"},"type":"statement","id":"Q3001092$F48DCC27-D824-4511-B6ED-71F467E8CB42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ef1059ded76113e8a55895e9c6444f3ab0f16cb","datavalue":{"value":"primitive recursive arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3001092$6733DB63-CD70-4AB0-BB44-6D74FC43C627","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5270766f22c7ad4a781677af5d45e6943b2a3573","datavalue":{"value":{"entity-type":"item","numeric-id":636315,"id":"Q636315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3001092$55A0D0CB-6135-4A61-A019-0B9DD1EDE64E","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":"Q3001092$2CA53D1A-1A44-4676-9094-E19787450150","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"527456668c396996d12e5016f26cd8b569b7b342","datavalue":{"value":{"entity-type":"item","numeric-id":5696302,"id":"Q5696302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78d3f931c356da8b135d31c00872473fc49c588f","datavalue":{"value":{"amount":"+0.8410274982452393","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":"Q3001092$0480B6B7-E61A-4582-A4EA-9A99D9373571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"564c547bd56ee78666c46b25fbf6a1777021d430","datavalue":{"value":{"entity-type":"item","numeric-id":636316,"id":"Q636316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"749b8d238dad92964314d53cdc5b408647e9ec30","datavalue":{"value":{"amount":"+0.8220782279968262","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":"Q3001092$B838DB31-80CA-4CB1-AAB9-B727925B0788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e107e84381502149eb19d63e420857659cf747f","datavalue":{"value":{"entity-type":"item","numeric-id":1409307,"id":"Q1409307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bf28ef003daf8cbf91754b5dea9a87a06cecb08","datavalue":{"value":{"amount":"+0.819174587726593","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":"Q3001092$8A1B79F4-72AB-4B8D-8673-E9DD190174AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d116d4dd22205644a1b3279c5fa3e988a2c509b","datavalue":{"value":{"entity-type":"item","numeric-id":456968,"id":"Q456968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4410978a5fc812731d2ca199cb02559c42349e7e","datavalue":{"value":{"amount":"+0.8130797147750854","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":"Q3001092$7CDF341C-404A-4641-A4A6-92982E4E7DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa9ff46ec8f64d77a2c8f4674d0b8252aa06c776","datavalue":{"value":{"entity-type":"item","numeric-id":2510758,"id":"Q2510758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fd000c70bbce20933ae5765c48ba5e64504cf3a","datavalue":{"value":{"amount":"+0.808569073677063","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":"Q3001092$11258B70-4635-435B-83E6-C6AC160DD929","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the Craig interpolation and the fixed point properties for GLP","badges":[]}}}}}