{"entities":{"Q4372940":{"pageid":6402539,"ns":120,"title":"Item:Q4372940","lastrevid":46515597,"modified":"2025-12-24T23:01:57Z","type":"item","id":"Q4372940","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1098495"}},"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":"Q4372940$A277A740-7DDE-412D-9E6B-C16F5464A70B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"892f3b9a930e022c4c6e529ac7a9842fcec5159e","datavalue":{"value":"0886.68123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4372940$1BA9ABFD-DCE4-41F6-8EF4-116F61646790","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23f32b55f138caf4b94a2d369b07209d6d136b85","datavalue":{"value":{"entity-type":"item","numeric-id":4372939,"id":"Q4372939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372940$CFA82A40-7270-49C0-9910-6FCE43A8AAD5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"411525b0ce565cc38da8d64b27ed968560307a1c","datavalue":{"value":{"time":"+1998-01-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":"Q4372940$F4C31A0F-D06D-4926-B069-4B2D2F7B89BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4372940$4E7CFDD2-2E42-4F4B-9AD7-33490AE14412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4372940$8A44CB59-A022-4B60-BAF3-D3A475D51DD9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b3a02ac8b95df09ef5a6fd9d4cdc553cee2453f","datavalue":{"value":"1098495","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4372940$3BFF5CF3-AB3B-488F-ACE0-524B96F03D44","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d81d6971e005b6f4d22e5d988538f584446aa6da","datavalue":{"value":"satisfiability testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4372940$2F1CE1D4-47C2-4202-A8C1-4E1DC1C7478D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ec104af5053bba933a3c58e8c3ebfa66cb9a76b","datavalue":{"value":"Van Gelder's algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4372940$C320CFC4-BDD3-43AC-8D1A-841602A11CC1","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":"Q4372940$0A512183-9186-4FB0-ACE2-6B945EFF24A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91f79b1729636ce57d55e265f1655f3ed08999e3","datavalue":{"value":{"entity-type":"item","numeric-id":1111774,"id":"Q1111774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c817f63a734e187d7d8ce1d33622ebf8960b429","datavalue":{"value":{"amount":"+0.8239366412162781","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":"Q4372940$BB5530E5-D950-476B-996E-A33A93B0D335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f679d47fabb5d6ebee39b4858aea6d32be17e58a","datavalue":{"value":{"entity-type":"item","numeric-id":3336732,"id":"Q3336732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4a1a735f72e4de2df1ed5e0446492f9e6dbc789","datavalue":{"value":{"amount":"+0.7978082299232483","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":"Q4372940$91CA322E-CEEF-430C-9D41-84D953D4D9E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd01bc225923ba0424c86610ffc3038c50c8740f","datavalue":{"value":{"entity-type":"item","numeric-id":3826123,"id":"Q3826123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"756bb3c0324eeffc4fe773c92a88cedf7fd34b1f","datavalue":{"value":{"amount":"+0.7973939180374146","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":"Q4372940$E5F76E8C-BA54-4FE0-952D-4B27A917CFED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e366a6ae1ffcd391788169251187e485eed88162","datavalue":{"value":{"entity-type":"item","numeric-id":5687274,"id":"Q5687274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22dabf611519a047724a9df7de59cf07c151d798","datavalue":{"value":{"amount":"+0.7932354807853699","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":"Q4372940$31F53E58-F729-459D-8844-DBD60B28480A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4372940","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4372940"}}}}}