{"entities":{"Q3754616":{"pageid":5784522,"ns":120,"title":"Item:Q3754616","lastrevid":87609833,"modified":"2026-06-04T12:07:57Z","type":"item","id":"Q3754616","labels":{"en":{"language":"en","value":"Semantic Completeness of Free-Variable Theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4002089"}},"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":"Q3754616$2C4D739E-EAAF-4CAB-8078-CB1131B11148","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"280f7b4ec3143cbeb630df1863d40d90d3e845a7","datavalue":{"value":{"text":"Semantic Completeness of Free-Variable Theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3754616$24DEDEFA-C766-42F6-B126-A22DEE6CAFFD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ac39527f340326784186cc8ef2614f7b32fd4d6","datavalue":{"value":"0618.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3754616$1F51CC14-69D7-421F-A4B1-2252EE9F6223","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd005ce716351b36e42cfe06cd0d0a360248b8c1","datavalue":{"value":{"entity-type":"item","numeric-id":192652,"id":"Q192652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3754616$A5D9CF0B-99F5-46A2-B2FD-B89898D640A6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"313eeae300ef8d00cbcff079ab31c26707d6fe06","datavalue":{"value":{"entity-type":"item","numeric-id":3025780,"id":"Q3025780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3754616$0CA36A36-EFC6-44EA-95F4-30F26057A18A","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":"Q3754616$FEBA6768-6440-4101-A2D7-73F6DCF8D704","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3754616$B48224F9-140A-48D4-AC83-81D3EA2AF3D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42bed80563fd5311a2d22e0496e4d53d520e79b6","datavalue":{"value":"4002089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3754616$4E2F4280-CFCC-44B5-98DF-43704F715016","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e1bba1c3f277f0ddecda7a091132cef4e8a319e","datavalue":{"value":"semantic analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3754616$3227C6FD-A1C9-48CE-9A70-26B373715F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46e9b256bce6bea3211c49ffbed4c7e13e7bfc6e","datavalue":{"value":"free-variable theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3754616$70453EF8-189E-4329-A6F8-BD041B91B29F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ef1059ded76113e8a55895e9c6444f3ab0f16cb","datavalue":{"value":"primitive recursive arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3754616$1D7EFB4D-7015-4FF2-BCB1-A489BEA31EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1593c801950bb89a028170732fc9fc4c758851e5","datavalue":{"value":"admissible theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3754616$D9D90E1F-7A96-4E7D-A5D4-40CFDFEC002A","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":"Q3754616$DD23B0CB-8AA2-4B23-886A-075416B98E54","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"373ab63e8ccdeafa201f435d53cc6739c80c48ec","datavalue":{"value":"https://doi.org/10.1002/malq.19870330508","type":"string"},"datatype":"url"},"type":"statement","id":"Q3754616$B050D95C-EEB3-4BA5-9FC6-6B7CD657F823","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0eb0143d8747c3f69191392d65ef16a11650d6b8","datavalue":{"value":"W2048838251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3754616$6DC191C2-8E70-4259-81F0-C8F6E19C0B16","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5b7382a79c02f4c334eca826ce4fc012b2be299f","datavalue":{"value":"10.1002/MALQ.19870330508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3754616$E1C0D407-FA0A-454F-81D1-EE306C03A592","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cae952f85f0e68eacce91764960796c544b80bd7","datavalue":{"value":{"entity-type":"item","numeric-id":3762310,"id":"Q3762310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5549e776112910c4d86ebeef00d40cc14c2c333","datavalue":{"value":{"amount":"+0.8669958114624023","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":"Q3754616$A342E1BA-5700-4479-8748-76CBFD8FA5D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2060ff9550cce76e47ce23fa0488ed1323b2557","datavalue":{"value":{"entity-type":"item","numeric-id":3977029,"id":"Q3977029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d735890f919acbd41bb06172e8bfc3a6a2cbf9ce","datavalue":{"value":{"amount":"+0.7553690671920776","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":"Q3754616$15C274BF-E750-4295-979A-CAB804ED6664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a33953f2cd64852a4d06ecc407eced83923c5f1","datavalue":{"value":{"entity-type":"item","numeric-id":3985544,"id":"Q3985544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1f79ccbdc51476bc1fbc3dc10dfaa8c15f80216","datavalue":{"value":{"amount":"+0.7553603053092957","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":"Q3754616$9A4C0605-116C-4C25-A22A-C7B93FEC8BDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ce725a8b17588c175ebc97a0d5e978baf179e45","datavalue":{"value":{"entity-type":"item","numeric-id":3682469,"id":"Q3682469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"186df009d1efbaf54ba5607a8ccbd4b98dba215c","datavalue":{"value":{"amount":"+0.7340505719184875","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":"Q3754616$6EFC12C1-CC2C-43C1-AE45-49473786375E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9aca801e45104d018cece8c6ef7c18a9253a8b9","datavalue":{"value":{"entity-type":"item","numeric-id":1176097,"id":"Q1176097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"049a346f122e968220bc3843844a2e344db8115e","datavalue":{"value":{"amount":"+0.7233742475509644","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":"Q3754616$0F2CD44B-6F71-4742-936C-C8E7016D570E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semantic Completeness of Free-Variable Theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Semantic_Completeness_of_Free-Variable_Theories"}}}}}