{"entities":{"Q4249891":{"pageid":6279492,"ns":120,"title":"Item:Q4249891","lastrevid":46835913,"modified":"2025-12-25T16:52:27Z","type":"item","id":"Q4249891","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1303338"}},"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":"Q4249891$E0759A00-D25B-4251-8B1B-E252C0D63070","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f3f3f90239056da134d0f0ec2237faceae348d00","datavalue":{"value":"0928.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249891$25F9C6BB-77A5-4EB4-ADB0-D477E4B8BFD2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a525f7cd8b191ac2b9090383b0dabde3689f4ff2","datavalue":{"value":{"entity-type":"item","numeric-id":287280,"id":"Q287280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4249891$2A78179F-FBC8-4FC3-B90A-078AD7BDEC43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2058e152866416201cc45ced58405f55031245a7","datavalue":{"value":{"entity-type":"item","numeric-id":219445,"id":"Q219445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4249891$435D004A-EB1D-49BB-A462-5606C83259F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"195732dcabfbab6a027b397db48d9b246fab9fe7","datavalue":{"value":{"time":"+2000-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4249891$93D0B0D1-5019-4A86-9C28-BB60246D44C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249891$C02B9312-2A45-49FE-915D-97AC4A6D9093","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7300e162f647d22c8d7d99249653c4f678b5471d","datavalue":{"value":"1303338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249891$078209FD-9DC1-4EF5-BEF7-FE0863AC8EE6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc0a06ffadbc917396a626e33a9a5489bfbfb917","datavalue":{"value":"automated theorem-proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249891$3FE2ED8D-1AF8-4821-BD32-EF89DBCCAC99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3b739adea7cc6595553157e408987428d6e06a8","datavalue":{"value":"higher-order resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249891$22B89517-AAE7-48DB-942C-D1FA2C899D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"548b5a7bc7239e42dab3a1a0bb9e61d4901fbe61","datavalue":{"value":"Henkin model semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249891$336F66A2-C16E-4E99-BEF5-FE8816D80DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bd5e640143d97b736be60c5040f4374a126b75b","datavalue":{"value":"higher-order unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249891$373D67DA-74E2-4C27-909F-21AA6A21FE3F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42d0367ffc4d2b82e6fb2192cfde6351c1daa402","datavalue":{"value":{"entity-type":"item","numeric-id":31432,"id":"Q31432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4249891$0AF2848C-7557-41AA-9208-39F6CC20FA39","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":"Q4249891$89EB03FF-A544-46A5-B2BB-7D8C0F259E68","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b793b049bccf047cc87000b56be1bbaffa8e436a","datavalue":{"value":{"entity-type":"item","numeric-id":1868166,"id":"Q1868166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1f9b1fc2180322f400dfeaee18ac999ef8aa814","datavalue":{"value":{"amount":"+0.8323659300804138","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":"Q4249891$43880B9A-C1D9-4EA9-9DB9-27A238ED0A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00eeadb8ca107f43b52703f930458c0a9c22a34d","datavalue":{"value":{"entity-type":"item","numeric-id":4263170,"id":"Q4263170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a529026517670cd648c1add5f7fbb52be6dbb34","datavalue":{"value":{"amount":"+0.7885055541992188","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":"Q4249891$D095F4BC-0E40-404F-B39E-480C5230ABC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fed98c364da768f7151867a2161bfd994bdea7e","datavalue":{"value":{"entity-type":"item","numeric-id":6488561,"id":"Q6488561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba7bb9afc4a199b7d90bfc271f527a92e688c273","datavalue":{"value":{"amount":"+0.7865176200866699","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":"Q4249891$373879B4-C0AA-4FF4-9D36-1CB4B4CC26D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6be9898932e748c2fbe35f3818c0a5e7025aa540","datavalue":{"value":{"entity-type":"item","numeric-id":5311767,"id":"Q5311767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4e57cbcaabe0a674dd9f8382c90292343447328","datavalue":{"value":{"amount":"+0.7826259732246399","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":"Q4249891$994844B6-FDD5-43C9-82D0-54107B3AB898","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4249891","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4249891"}}}}}