{"entities":{"Q5698259":{"pageid":7727819,"ns":120,"title":"Item:Q5698259","lastrevid":48578122,"modified":"2026-01-05T06:52:09Z","type":"item","id":"Q5698259","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2219519"}},"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":"Q5698259$33DFCA5D-5F96-4F44-B509-AD64B50B4D48","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a47dd68aadbbd764b8cd018d6bf508bc9fcd4bf4","datavalue":{"value":"1076.03523","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5698259$43565CED-CF4E-49D1-AF30-F40ECAC30E52","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"53d18de0302c7095668f6fb0ebd7f3342db59a1a","datavalue":{"value":{"entity-type":"item","numeric-id":975445,"id":"Q975445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5698259$C43C4FEC-8C17-40DA-8E98-95355560344A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"285002243dc15ea7e11372aafbfba47535ccbb73","datavalue":{"value":{"entity-type":"item","numeric-id":333654,"id":"Q333654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5698259$835DE420-7234-4DF9-A470-435A9C32E2EF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4fde6c619ece55a662f3e34f9f0884a152591e6b","datavalue":{"value":{"time":"+2005-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5698259$B6DEAE02-B43B-48FC-B844-BC2661B8BBB7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5698259$30E63F5C-E5BE-4C25-A0C7-516C0865019E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5698259$DAE71682-9FF8-4A7F-9512-4F464499E3C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"07fc31a4b825a2505696330dce79ffa0e92a074e","datavalue":{"value":"2219519","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5698259$C36500E1-FFAF-4E43-B0CA-FFB8B0215781","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5698259$F3C3B156-81F9-4A24-B4E4-133A1E699701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q5698259$44B9C044-4B20-4EE7-8546-16732658F054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5698259$41A0FCBE-3A7A-428F-B2B4-BD337A668313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57874edeb1a8d92efa1fa31b93fbd968ea8af7d7","datavalue":{"value":"model generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5698259$12FF4D97-ED35-4EB5-9974-E7A617221AA2","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":"Q5698259$1C521392-C35A-44E5-89E6-B9FDF2AC5F9C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb4f49eb732ab01fe0df681bb724a669a10d8436","datavalue":{"value":{"entity-type":"item","numeric-id":3067537,"id":"Q3067537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c05fc7ab4aa6a14371b28833ce45b3a715c9f25","datavalue":{"value":{"amount":"+0.7959665656089783","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":"Q5698259$B95B969E-1F4B-43DC-8E8E-ED7B5E8233EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09782e48bcfe28381706f5d6f6c5f1aba6ad5834","datavalue":{"value":{"entity-type":"item","numeric-id":4675621,"id":"Q4675621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d862b9c8e20924649008551628e3135a5ec6c49","datavalue":{"value":{"amount":"+0.7834336161613464","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":"Q5698259$56A4A6F6-77C2-4417-920E-1277E3231D02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58f6436d7b6017f6788025ce4d82f6b0d3d825b7","datavalue":{"value":{"entity-type":"item","numeric-id":2848061,"id":"Q2848061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8758ecd754f8cdd9b6940c25d9c5035a4398c0f6","datavalue":{"value":{"amount":"+0.7440086603164673","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":"Q5698259$830EA2AF-9B2A-472F-893E-F790843EFB1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be885fdf3e2ebd71cc3ad816a0c8ca4903691ca0","datavalue":{"value":{"entity-type":"item","numeric-id":4804899,"id":"Q4804899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f572f31fdf92a44191d858b4208f0cec4b46838","datavalue":{"value":{"amount":"+0.7397750020027161","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":"Q5698259$C3CD1C86-D84B-44D8-A18F-92E7EF7712E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dae6967be22b4dd6b79a4f9e307b944027f6d8a","datavalue":{"value":{"entity-type":"item","numeric-id":2848064,"id":"Q2848064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6f7d26e5675513b0ed0225a192fe93949c9b5a8","datavalue":{"value":{"amount":"+0.7380136251449585","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":"Q5698259$276F9A94-7137-4D55-860F-6E561C0A32FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5698259","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5698259"}}}}}