{"entities":{"Q4035311":{"pageid":6065031,"ns":120,"title":"Item:Q4035311","lastrevid":55235833,"modified":"2026-02-05T04:06:57Z","type":"item","id":"Q4035311","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 176207"}},"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":"Q4035311$1CA59B89-3F69-40DD-BE61-941430E8537C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"33ceee161a25f58ab9abf84f250f5b2cd8941f06","datavalue":{"value":"0774.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4035311$5BE96E7D-1DB9-44DC-8F91-D78357DADF3D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"abd8d5e490ea4daf6d00f9dd2f897565e059b6cc","datavalue":{"value":{"time":"+1993-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4035311$525F2F1F-ED44-453B-8665-08EFB37428F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4035311$5F2BDF29-711B-42CA-BBF5-86376681A50F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4035311$F1C18809-B20E-47A3-8A2A-C498EACA8FC4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d3629102ff2e0f33f9c2a22718138c2d2760595","datavalue":{"value":"176207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4035311$99371FAF-3E7C-483E-9741-373221485B0E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035311$F8114154-74CD-45A8-8549-632CBBD39128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa1f9cffd18fe4bc8fecd35eb209e3dd8c324b86","datavalue":{"value":"finite structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035311$F811B8C2-6AFF-4EAF-AE4B-3AF5D62E207A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a973ca6b294f3c624d69e8067af106d806cde77c","datavalue":{"value":"preservation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035311$A7CA1F05-BC5A-46B9-8C38-A579D345B817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a85fabcd107ef92de0dfffd7d301587dc83d0028","datavalue":{"value":"Lyndon's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035311$D435EAE8-4D7E-471D-9294-7D64DFB2B593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39021fca6ba198706e2baf4a838312c43eea2b99","datavalue":{"value":"compactness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035311$8D958D5A-7BD3-4016-8B8E-FB1C9CD63037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbb1eab08408710abe553062777e22e027ce4880","datavalue":{"value":"Horn sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035311$809E09C2-B4D4-44AE-9E66-D015E02F5783","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aee4d3ee1c41565a5a83b17f16adc6668f5bedeb","datavalue":{"value":{"entity-type":"item","numeric-id":293302,"id":"Q293302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4035311$482F71E8-C971-41C5-A79B-783A340E9556","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":"Q4035311$0CF3B7D1-7ED5-4CC8-AF91-3DB8C3B4A1DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e22550b4c66849fee59766eab2bf31ad10136d3b","datavalue":{"value":{"entity-type":"item","numeric-id":4779635,"id":"Q4779635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53a9c91b451c061f70293cf42725bb5395cafea5","datavalue":{"value":{"amount":"+0.8213445544242859","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":"Q4035311$BB950CF8-69F6-458C-A603-B4B52660F34D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76070a8093f9d25482e82f14d5133bd448208b11","datavalue":{"value":{"entity-type":"item","numeric-id":4850061,"id":"Q4850061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dd8aead2d9b60ef33a2222e155754c39e9f2182","datavalue":{"value":{"amount":"+0.8003520369529724","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":"Q4035311$4BB3BFCB-E64B-48F2-B3F8-8E8DCB866557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2952e4882e7cc0cd22be755f51615e8d9f376d0","datavalue":{"value":{"entity-type":"item","numeric-id":4511540,"id":"Q4511540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8b91b4f3ae534958091afd4e68635bf08b5a189","datavalue":{"value":{"amount":"+0.7996826171875","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":"Q4035311$D05C7750-D0E1-4A93-B731-4ECC476FDB31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7caf8c75296e5ee3f938199bb867e0a7b57487e5","datavalue":{"value":{"entity-type":"item","numeric-id":4362725,"id":"Q4362725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3e7f4ad19e3f557927047de0d9e5c6c8482979a","datavalue":{"value":{"amount":"+0.7688249349594116","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":"Q4035311$865035E3-1220-467D-AB6A-4D786EC8CAB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae92d6cde6789348cecca8be1272bef98a98007c","datavalue":{"value":{"entity-type":"item","numeric-id":688663,"id":"Q688663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e86bab854b940d3745dfc3f2db1ae241f3661ee","datavalue":{"value":{"amount":"+0.7684758901596069","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":"Q4035311$8D2D8071-1F93-420B-95A6-2D524D887158","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4035311","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4035311"}}}}}