{"entities":{"Q4539604":{"pageid":6569196,"ns":120,"title":"Item:Q4539604","lastrevid":47942407,"modified":"2026-01-03T03:40:31Z","type":"item","id":"Q4539604","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1765668"}},"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":"Q4539604$57EDAA92-3DFD-403B-8105-1D33C5A0B037","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc7560f01c665f98c2f70f066fd3b74a57a4c171","datavalue":{"value":"0988.68164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4539604$26F66554-1FA6-4B1C-96CD-CFC6C262EB23","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb6915ece1ff0e3c04b1478b9a756ad0cf2910cc","datavalue":{"value":{"entity-type":"item","numeric-id":167067,"id":"Q167067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4539604$E439BBAF-FA3F-4435-8E96-DB4E2C4EEACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2209df4f6a51f96d9dfc5de9b50849ca061d272","datavalue":{"value":{"entity-type":"item","numeric-id":167069,"id":"Q167069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4539604$725C45D5-6B8A-4F4F-B4AE-4B19D122C0EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9faadbd22dd8b1da3be6dbb593d6df9253bd99cd","datavalue":{"value":{"entity-type":"item","numeric-id":1248615,"id":"Q1248615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4539604$DCC6CDA0-401F-4ECB-AA0C-0FD2846FBE85","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d53010eb4a0f8747285a4207efc90c1f02bad37","datavalue":{"value":{"time":"+2002-07-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4539604$8CFBD56E-05C5-4593-B373-966BB76284C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4ee35b3161fd53e3a52823a345076bfbbdc15f1c","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2083/20830152","type":"string"},"datatype":"url"},"type":"statement","id":"Q4539604$5A61FB93-6FA0-4CF3-9813-747FC54F505A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4539604$4AD2E018-503D-4901-8F8C-0F64052487C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4539604$51CBDE23-26B1-4BAC-897E-8C89A40AB611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d6d1b45c606677a96fadd625efc72a171c20037","datavalue":{"value":"03E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4539604$0B675BC9-ABC7-4D07-B2AC-F0BECD54BE17","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da4860025d26e4cf78ca89a93d7d2773101656c3","datavalue":{"value":"1765668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4539604$326A1E45-3381-4C84-A9B7-3D76627930E1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a4105cc96bf8ce10f18ebca3ba80ba6c3d63382","datavalue":{"value":"et reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4539604$241812DB-7516-4EBD-9EFA-35E11A4C5567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef5c08883e4ce3c7db161fff0bd2983990d650d3","datavalue":{"value":"map algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4539604$4197C2DC-72C6-4029-8166-48A6436DC0D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a313369d6da90dd1bef2143dee22ad776773a0ec","datavalue":{"value":"first-order theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4539604$41B9ECAC-CE65-49F1-BF48-B32471D28CB4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4539604$C99956F6-633C-4CE7-A0A0-311EE1A857F1","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":"Q4539604$01A63756-5A21-4F1B-83CA-576E35F4CCEC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1790bb47fa78b6bb1707c0956e110c97e8a52fbc","datavalue":{"value":{"entity-type":"item","numeric-id":4531958,"id":"Q4531958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6f92cd17e75213c8b6735f2c4a48bc0c6257a25","datavalue":{"value":{"amount":"+0.7624003291130066","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":"Q4539604$14D99FCF-660E-4178-9F1D-FAC08BFEF072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69bdb9fdd12afe3b9da2a6be09fa3fc8bd3dc75d","datavalue":{"value":{"entity-type":"item","numeric-id":4923516,"id":"Q4923516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d7d58fef80dacea0a087c9c43a3e6c6e1afb978","datavalue":{"value":{"amount":"+0.7614863514900208","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":"Q4539604$1A043BBF-2D9C-4889-A538-9DC6DFACC4CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d8213c84e722b981af05319a6ca2089cbbe9522","datavalue":{"value":{"entity-type":"item","numeric-id":2457343,"id":"Q2457343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"812ae1973505d65f23428ac1383b4a5029e3f4de","datavalue":{"value":{"amount":"+0.7574145197868347","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":"Q4539604$6F40959C-08F8-414F-8773-8748D886039D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69f2a48927bf53a9dd3ff33ad2a42e423ae0b6c0","datavalue":{"value":{"entity-type":"item","numeric-id":4503910,"id":"Q4503910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"618e4a9fbf357ca1a68b93d4f9f337b851d47694","datavalue":{"value":{"amount":"+0.7511979341506958","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":"Q4539604$DCEC96F7-BADE-454A-80CD-4D8D4E51E95B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3893a1954c70a63e3a7a0bdacf759a468a281134","datavalue":{"value":{"entity-type":"item","numeric-id":5881455,"id":"Q5881455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c69591bb5e070359f5b8278b33821afd59e148a2","datavalue":{"value":{"amount":"+0.7340994477272034","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":"Q4539604$51FF5610-E373-4AC8-BAF0-C079EEEFDB53","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4539604","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4539604"}}}}}