{"entities":{"Q4395564":{"pageid":6425163,"ns":120,"title":"Item:Q4395564","lastrevid":40898470,"modified":"2025-04-13T22:06:53Z","type":"item","id":"Q4395564","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1163940"}},"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":"Q4395564$27E8BC9A-49B7-45B5-80D7-E55522D78E95","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"662bbb44236cd7d035ef037ccb6137f7b5b392f9","datavalue":{"value":"0898.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4395564$48A20315-44F1-4240-B8E5-9247BE33CD8B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aeab5ec812a0ca5fb5a693de9fb212e9ec6262da","datavalue":{"value":{"time":"+1998-11-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4395564$CC7D6176-D4DB-454F-89F2-913E60B60B36","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4395564$EAF38311-EC6F-4BCD-9907-54AAE15B6ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4395564$2C982D46-DB1D-495F-A9F1-8B490D0A9F94","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d06540e73a8d62bcf2be3828787c4fa665cdab93","datavalue":{"value":"1163940","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4395564$66C7C8C7-AABC-42E1-AD54-1097324C74DD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4395564$4265F815-7274-41DD-9890-F8C25B31BC55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4395564$54945F44-A678-440A-A7AF-9DAF7144246A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d627948941a38d1fe1abd2b507fb1fc849f4eb6c","datavalue":{"value":"logical inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q4395564$5CAB4D78-8ACD-48D2-88F8-BDEB9B158C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb669f092bdb01d5dcfc844ac5c1d03cf9431016","datavalue":{"value":"generalized quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4395564$21864DF5-98C6-430D-8B0B-C6B30B5E45AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a32387adfdd4d3c29b3196ada49c5ab1f987211c","datavalue":{"value":"Boolean operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4395564$7F0EEA75-F9F7-49AA-9551-641D929034A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4395564$FF65381A-E0C0-4DEF-8D53-16A57F4AE909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4395564$ED5F562E-035F-456D-AE1F-D0E805723976","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a16bed3fcf9befde6b615ead23f4b855455a9900","datavalue":{"value":{"entity-type":"item","numeric-id":1246519,"id":"Q1246519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4395564$22659918-4A8B-4975-B466-FE838DB1072E","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":"Q4395564$42861CC0-647B-45F1-813F-CDA885F87680","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a85f10e9d492f510d1c1af263fc969feb3b8d35","datavalue":{"value":{"entity-type":"item","numeric-id":509608,"id":"Q509608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8de2453f61f480d9bc76dd76707e42a7888d376d","datavalue":{"value":{"amount":"+0.9360463","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4395564$9BCB7A48-5D33-45CB-9BD4-79E6E72D577A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba6e35dfb6bfca4740527dc27f7e5ce13469969e","datavalue":{"value":{"entity-type":"item","numeric-id":2702234,"id":"Q2702234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41366fae873ddd917cee4586f378c650fb3a01d0","datavalue":{"value":{"amount":"+0.91089207","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4395564$4EA23A06-CA65-466F-894C-07ED22E0CAB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14176f6cb77c1fb6adb66d34f2b287688ba7838a","datavalue":{"value":{"entity-type":"item","numeric-id":4342097,"id":"Q4342097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"306979278e7a1e6cbbe2d17c679aa9b4bdfb1303","datavalue":{"value":{"amount":"+0.90172017","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4395564$DF99F2EA-61BE-4C4D-8A61-AB590592F6B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16014525d9b01949a04963a6543111a884c5fbd1","datavalue":{"value":{"entity-type":"item","numeric-id":4789451,"id":"Q4789451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"306979278e7a1e6cbbe2d17c679aa9b4bdfb1303","datavalue":{"value":{"amount":"+0.90172017","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4395564$0FB996A5-B2F0-4580-8112-644A235FA723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d69a4b6320ff34703286c301fb52210386642ee","datavalue":{"value":{"entity-type":"item","numeric-id":5200696,"id":"Q5200696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"124b6fd904426c1d8e422df8cd88fe93af572426","datavalue":{"value":{"amount":"+0.8933016","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4395564$8D775E42-422B-445D-91A8-D55F6F204B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01723e319b78410f8e6b0fd8ee35ae946b452d0c","datavalue":{"value":{"entity-type":"item","numeric-id":4532205,"id":"Q4532205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a77b76a6f01dd7a78281988154530c79d4f943e0","datavalue":{"value":{"amount":"+0.89247465","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4395564$FE24B8F5-B930-4636-9712-F47503884ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6783a3ee27c50c7640a95138a2bd9d296574e1fb","datavalue":{"value":{"entity-type":"item","numeric-id":4452542,"id":"Q4452542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5b7fb646fd01b25ba403697cee7d13cf8abf483","datavalue":{"value":{"amount":"+0.8908772","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4395564$F06D3846-4BEC-4CA0-9294-EA7BB693996C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d131ee96f9b4e96de2fc19ae9a25a473b08e3b54","datavalue":{"value":{"entity-type":"item","numeric-id":4342068,"id":"Q4342068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58d56c841e19a39a90587ec6b0a2a9ec0874cd91","datavalue":{"value":{"amount":"+0.8899303","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4395564$3961BF3F-2678-44EA-875D-94823CC74055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f600a73a4645a0dc7e53fc3f346807b433f286a4","datavalue":{"value":{"entity-type":"item","numeric-id":4928713,"id":"Q4928713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58d56c841e19a39a90587ec6b0a2a9ec0874cd91","datavalue":{"value":{"amount":"+0.8899303","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4395564$CB88F76B-B55D-4102-9C83-73361165A0F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4395564","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4395564"}}}}}