{"entities":{"Q3220545":{"pageid":3231253,"ns":120,"title":"Item:Q3220545","lastrevid":45716710,"modified":"2025-12-16T18:13:10Z","type":"item","id":"Q3220545","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3885853"}},"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":"Q3220545$9D5CFD65-AD19-4E78-BF4E-07484F4E6F9C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9950ffbb23e2dd14022610bcbd00ebd4eaff5d0f","datavalue":{"value":"0556.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3220545$696B25AE-608A-496D-A370-39A6ED31E4D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5866f2312a96c68937ecd247ca8e2756e26159f0","datavalue":{"value":{"entity-type":"item","numeric-id":1201998,"id":"Q1201998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3220545$DEA670E3-5DC8-49FA-833A-720297F80C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"533e6a2f2483a32398b8daadaa250165970e45d9","datavalue":{"value":{"entity-type":"item","numeric-id":490658,"id":"Q490658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3220545$60966BC4-8307-4CC7-B31D-C11AC5E44677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c258bf9206a7a338581aad4b4a7a2544fa708cd","datavalue":{"value":{"entity-type":"item","numeric-id":391109,"id":"Q391109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3220545$7389D6DF-B798-45AE-A090-E7609B17A4C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3220545$C1E1665A-BE5B-4BEE-B1AA-7F576E585946","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3220545$FBC0E7B3-A998-4DC5-85FC-DEEE0B1DA6BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3220545$59D629BD-0552-45F0-A43B-4C6A21C604D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd857b4d539debc924b23d4d2c029b3554136b84","datavalue":{"value":"03B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3220545$A6524029-B021-4D52-A8E3-A11434682585","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f39846c699217a79d60042fe2f6ab9777427318a","datavalue":{"value":"3885853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3220545$CEC92F98-F3AB-4C58-BBA3-C7E42758FD8E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39b51188ce6653d6c475b0f1160b256110fc7c68","datavalue":{"value":"first-order logic and its extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3220545$2A5ABD69-B43E-48A1-8219-1D2A996F704E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c4ed4fea13432d188a5ec678aec936f44975a8a","datavalue":{"value":"syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q3220545$14287043-A4A8-4F13-A668-425E79240321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3220545$65EB07C5-734F-42DF-AC64-9FA71371CDA2","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":"Q3220545$82A6C5A0-34E5-436D-972F-90BC8FC4831C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b48de31403e0853774a169d84f065adf17c09a5","datavalue":{"value":{"entity-type":"item","numeric-id":4992250,"id":"Q4992250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2654e5cf0da77abcc75742fdc81d5d8be17899b8","datavalue":{"value":{"amount":"+0.8927562","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3220545$6D8D6FE9-BAED-41DE-B243-C64C06F5F154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e91a817f7031d039e5fff34848c4f48eedfbfa4","datavalue":{"value":{"entity-type":"item","numeric-id":3444707,"id":"Q3444707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecd5513ae5f9d91ba1df73c8239c6539a7d326ce","datavalue":{"value":{"amount":"+0.8882892","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3220545$E900B2DF-AA12-4F51-97B3-36FC1F4F556C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b4626c49720e48c70778d68082ace3e89cff8fd","datavalue":{"value":{"entity-type":"item","numeric-id":5485956,"id":"Q5485956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc714604738a8849a22a44296cf46d8d8e64e382","datavalue":{"value":{"amount":"+0.886211","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3220545$413D4999-C15D-4A74-88A1-0B7DD1D917E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f39a56e03732b4946c9b2c2f09777d208c44b60","datavalue":{"value":{"entity-type":"item","numeric-id":4239317,"id":"Q4239317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea00cd9e5170f062dace3b7d9da9aaa70829f59e","datavalue":{"value":{"amount":"+0.8840153","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3220545$A837D224-1071-469A-912C-8A8A719D4BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aec3ff74c571ea528dc942662ff1c615bf8682a2","datavalue":{"value":{"entity-type":"item","numeric-id":3159146,"id":"Q3159146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b9ef2809ebfcd921335fa7ea340c19463fbb7a9","datavalue":{"value":{"amount":"+0.87773645","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3220545$EC315A2A-97EF-4E34-90DB-87E959548D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a84ebd7c75c6e8964f7950513cac490f5a4d279","datavalue":{"value":{"entity-type":"item","numeric-id":3177332,"id":"Q3177332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a6253fbc2b68fec7a4c9d381459362c49e3b463","datavalue":{"value":{"amount":"+0.87476957","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3220545$3344F5B7-130C-4272-B96D-ED7490C3D142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf025a03788ff544567b6078287ee4dbf748d505","datavalue":{"value":{"entity-type":"item","numeric-id":4040429,"id":"Q4040429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dabeccb17e769526c23b1f193ad92b6849d9ee56","datavalue":{"value":{"amount":"+0.8739332","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3220545$4FCC9CD2-7231-44DF-ACE6-33419621297F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edc7a07c6602f7951f67f5247347bead120d9ea9","datavalue":{"value":{"entity-type":"item","numeric-id":4339021,"id":"Q4339021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2dbd0934eee23c6bb17a1183baa94a58e3822c1","datavalue":{"value":{"amount":"+0.8733431","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3220545$D88F1F98-6877-4D58-8262-DA4FEE2529E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1134fb130b261ed42a44a7b028fff916e1870bae","datavalue":{"value":{"entity-type":"item","numeric-id":3998991,"id":"Q3998991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27e49922d21ba947591def8da6beb486e857737e","datavalue":{"value":{"amount":"+0.8733055","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3220545$48D77156-D689-4951-8084-00A3C8B66538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2a49720b67fea53f3764207d69166b192680ec1","datavalue":{"value":{"entity-type":"item","numeric-id":4735163,"id":"Q4735163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fe90bb253ce16937a1148cb976e47c697f60e9e","datavalue":{"value":{"amount":"+0.869343","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3220545$292B52A5-E49A-4D9D-949C-06D0492474E2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3220545","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3220545"}}}}}