{"entities":{"Q3433178":{"pageid":3443881,"ns":120,"title":"Item:Q3433178","lastrevid":50081716,"modified":"2026-01-12T21:45:28Z","type":"item","id":"Q3433178","labels":{"en":{"language":"en","value":"Omitting types for finite variable fragments of first order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5147177"}},"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":"Q3433178$45BAABE0-D313-4918-AE15-E341829DC2E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c44e2d4aae025d61497f2611d7ca10deb154c6b","datavalue":{"value":"1119.03345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3433178$5AA5CB0E-1ABF-42B2-BA93-5E99D63C1107","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6651d4e4947d930a461f076a4ae17f7da77e1b31","datavalue":{"value":{"entity-type":"item","numeric-id":227768,"id":"Q227768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3433178$C381657C-75A0-44DA-9702-F8E05A710A81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ea9ebbb0f7b5a33e878dda3a3b7da1c551bf932","datavalue":{"value":{"time":"+2007-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3433178$3AB818BE-CC25-4170-9000-BE296B35885D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3433178$A25BC308-C014-41B0-881E-EA4247DCF5BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e4acb947bbb93aef022d2652e8dc30ed364d53d7","datavalue":{"value":"03C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3433178$56FFF20E-34E1-4F9E-8951-865E5CDDDB9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3433178$C9A873B4-E7C5-41D3-BDDC-A151C5ABDFE3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db898f5f88164a327ee6b99926a12eaf5d92c898","datavalue":{"value":"5147177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3433178$8F1A062C-BD1B-4DF1-A5FE-BF77A23FF7AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c121d0b4540e7ec170cfab417fe7f119976eb282","datavalue":{"value":"algebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3433178$3BC0F8D2-DE4B-4283-BF52-8EA69089E633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3433178$CCEE3C05-A789-4815-A7C1-7C1787DEABD7","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":"Q3433178$A2E37BCA-E293-4887-AF21-DEFDCB4E734E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90e82f419ca7b004ea7b4df1062bfe262c27b40e","datavalue":{"value":{"entity-type":"item","numeric-id":5387302,"id":"Q5387302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a39fa428e9c1ddbdabb50bb8f36c3fd5722b0d5e","datavalue":{"value":{"amount":"+0.930228054523468","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":"Q3433178$D6A1C785-5642-4B98-8DED-F3BC0625C568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dc32e77793646faf6d5a517a017d1d13d50650a","datavalue":{"value":{"entity-type":"item","numeric-id":1981982,"id":"Q1981982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f07c8d6db1da7e630827f83c11edd3a825b209c7","datavalue":{"value":{"amount":"+0.8735651969909668","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":"Q3433178$2713517E-E680-4628-973A-EC14E3DBAD25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64df11251b31fa5b794454366aa0caf52a9f4f73","datavalue":{"value":{"entity-type":"item","numeric-id":3091417,"id":"Q3091417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a00c065120badd4996ffbf17ec1da4820b086b2","datavalue":{"value":{"amount":"+0.8566478490829468","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":"Q3433178$9B2A2986-6D48-4F5E-ACD6-43B74248303C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c217b066510f9d42f79bc56ff1dff7f0451cf19","datavalue":{"value":{"entity-type":"item","numeric-id":3185015,"id":"Q3185015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"873665f5b6465fd1900a173a158143b960522428","datavalue":{"value":{"amount":"+0.8136899471282959","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":"Q3433178$1F07008D-7B53-4B81-9481-8F7C15A5689B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0487bf72bcaa7ac74e9574378d57bf826157640b","datavalue":{"value":{"entity-type":"item","numeric-id":2853715,"id":"Q2853715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de1e0d5366cb55050cdd9d46118a247e867caf1f","datavalue":{"value":{"amount":"+0.8065665364265442","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":"Q3433178$09BAAC5E-8B14-442B-A649-1AC09C064379","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3433178","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3433178"}}}}}