{"entities":{"Q4332930":{"pageid":6362530,"ns":120,"title":"Item:Q4332930","lastrevid":47421475,"modified":"2026-01-01T17:03:45Z","type":"item","id":"Q4332930","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 979011"}},"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":"Q4332930$0EB7F264-8193-4ACA-B1CD-31EA12C1D06A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bd77f82a0a06a196f217c4401816a5305104e3e4","datavalue":{"value":"0869.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4332930$D9DC4D73-158D-43EA-9969-67BE7BF19219","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3d44d2e806c94564ac8ed3016d0ed20fdb29f21","datavalue":{"value":{"entity-type":"item","numeric-id":490671,"id":"Q490671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4332930$09B5E0CF-1DCC-4C44-A48F-B865F808822D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"21b501db428d2717e665b18c81894087bb27ec19","datavalue":{"value":{"time":"+1997-02-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":"Q4332930$8D3D720A-4F64-4698-8763-F987862AB79D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4332930$0A0CC9D1-A55E-4262-9CB6-4224562E3494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4332930$F2189C23-9502-4D03-A1A6-DA9BFAF0697E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4332930$D8FC1D43-81DB-4FAE-9CA4-C13B0F09CCCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4332930$E41D572F-0C66-4BDB-9FBF-7658D9E704C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4332930$879F0013-2B6E-41F1-A24C-8CA2192E5237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4332930$68023DEE-A2B6-4CA6-9069-34E2A538FBD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4332930$790791D3-F9C0-4FC6-9F72-5717EF6CD56C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d9f9577fe18bd8f073551e01d340fa8bb018cb2","datavalue":{"value":"979011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4332930$3D9E452A-0D99-4773-8BE0-B22CEC68F61A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2e70b69f79803c6ee9b5ab15d0baa360d3148a4","datavalue":{"value":"bounded variable infinitary logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4332930$79487DCD-4423-4DC8-B94A-FDF4F68665C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4332930$6B912A1E-3D8A-4863-A454-16C7EAB8FE59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95e388782ac2fc469e47f124b9760028703ad7ef","datavalue":{"value":"fixed point logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4332930$B0728311-3A0D-45EA-B4A5-185E223DEF44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa64eae916ac50f9d0bdde79696d641a11ea4cba","datavalue":{"value":"counting","type":"string"},"datatype":"string"},"type":"statement","id":"Q4332930$C342C258-0E9F-433E-9D15-2C021DB986B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9e45e72898ab5ef3149ddc99da95e7adb07eff4","datavalue":{"value":"Ehrenfeucht-Fra\u00efss\u00e9 games","type":"string"},"datatype":"string"},"type":"statement","id":"Q4332930$5B199FAB-B867-4398-A93E-A969FE3233F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc61a025d23805ef0c762c087d3f9ea45989791f","datavalue":{"value":"Lindstr\u00f6m quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4332930$2B1BB83E-D61D-46C4-A835-CE821D894B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"862d3d52e57f98bbd3921f12839863a28bfa1919","datavalue":{"value":"canonization problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4332930$FDB17790-A32E-4045-8C56-76F82E84F11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6286fd79dd4d3088f7dee219030a47f3c194335a","datavalue":{"value":"PTIME canonization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4332930$262870D3-59BB-4978-84FC-BC9649A714D9","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":"Q4332930$CF0B8745-4771-4E84-93B5-D12756B19C76","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"587553d2fea14f83e8a1020120a017bb9c111221","datavalue":{"value":{"entity-type":"item","numeric-id":4879905,"id":"Q4879905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96c6395fe8763f9b28432eb606c1a790529715c8","datavalue":{"value":{"amount":"+0.8150913715362549","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":"Q4332930$FC67682B-0EA1-472E-BFC0-79BE321AA66E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf7cc1e3100c2aa28a0bde6a9f3970928ade67b2","datavalue":{"value":{"entity-type":"item","numeric-id":4254565,"id":"Q4254565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96c6395fe8763f9b28432eb606c1a790529715c8","datavalue":{"value":{"amount":"+0.8150913715362549","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":"Q4332930$6C482163-79E6-4EFA-A2ED-AC3B7E788A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16e65309de2541024e346b91d9a3b46aa45488f7","datavalue":{"value":{"entity-type":"item","numeric-id":1306792,"id":"Q1306792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ecb9b35ce803605e4a7ee335469b92cb807e02c","datavalue":{"value":{"amount":"+0.8094104528427124","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":"Q4332930$545D4540-F38C-4C2E-B00F-46119961732D","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":"7ff6238897ca7f58fc9d95755ef60f0cbfa6d7ce","datavalue":{"value":{"amount":"+0.8046757578849792","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":"Q4332930$7D37D535-1021-49DB-AF1B-61C2C2629D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beea8520bb657f4377aa4b321d6b9d6ec37846b9","datavalue":{"value":{"entity-type":"item","numeric-id":703864,"id":"Q703864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2135c25e04aefc494fdeb2cc0923e25674d972fa","datavalue":{"value":{"amount":"+0.8045780062675476","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":"Q4332930$EBD61F8F-8577-4E39-A45A-49BC3B1EAE0D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4332930","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4332930"}}}}}