{"entities":{"Q4251071":{"pageid":6280672,"ns":120,"title":"Item:Q4251071","lastrevid":46830216,"modified":"2025-12-25T16:35:13Z","type":"item","id":"Q4251071","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1304340"}},"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":"Q4251071$1E80B1EE-6443-437C-AD6D-A881F1B040F7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2fa1d98cef69a1a4c1426d79ab08f26c0f72736a","datavalue":{"value":"0924.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4251071$EFC7FC76-2B1B-4596-9E40-FCE5FBE58BAA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5990fc688a0be5bf789cc262f818490a3efa1eef","datavalue":{"value":{"entity-type":"item","numeric-id":1014443,"id":"Q1014443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4251071$6BD20490-ED19-469F-80AC-6C49A25E9556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efa0ee16bcf9d62945fa4e27ea47d07c341ed7b6","datavalue":{"value":{"entity-type":"item","numeric-id":1114674,"id":"Q1114674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4251071$96661805-EA2B-4A01-B5CC-F8E020292667","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6058975aebcb06f50e61b28c434fa7404d9c6466","datavalue":{"value":{"time":"+1999-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4251071$5CD454C4-E673-4C9E-925D-22B613E75865","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4251071$E35D059C-A0E3-40EF-8A22-9A235B96BC87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4251071$96934495-57E6-4860-89F3-90859F9040C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4251071$69461F8B-C81D-4B1C-A305-2C2786614060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4251071$9A1517EF-8257-4AE1-A406-2B3883429309","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f9c49f2808b752475128814a02cad63a0882b2d","datavalue":{"value":"1304340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4251071$63FD8E38-792D-4311-B9BC-F8161E3A8462","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea82272fd4d22873e1e388906cc3c284870e433f","datavalue":{"value":"space bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q4251071$F17F30A4-477F-44FD-BE9F-C52B07EDB864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4251071$4E66FDE4-978A-4B3D-9D3D-EA31D7635DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d44d797a8903ac223a1c72360d60c861091def53","datavalue":{"value":"CNF formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q4251071$41892464-E97D-423C-94CC-622640DC3163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4251071$73F34A42-C845-4066-896B-3340820C444D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ca2f3e98d77f883e96c62d69b7a38fdafa56bb9","datavalue":{"value":"unsatisfiable formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q4251071$5E7F615C-E816-42E8-91E1-4328058C9632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02d4cb9949d1e0e1b52bcd330c1219b250da26ef","datavalue":{"value":"complexity measures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4251071$6E90168C-FDD7-45FD-9015-E05ED9DD3370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1b95970dbbafca6a8b13371dabe0dccec26c445","datavalue":{"value":"pebble game","type":"string"},"datatype":"string"},"type":"statement","id":"Q4251071$B5C3B694-6BCB-457A-9705-079E60B96270","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":"Q4251071$2FECF4EA-31B0-4C1A-90FB-B4EAFB9E7E78","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04c0feb6dbc148a238fbe7e3cc5beaac2e5ced1d","datavalue":{"value":{"entity-type":"item","numeric-id":1854472,"id":"Q1854472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8791e45bf0abc04d2c717641e43e5b21aca38e26","datavalue":{"value":{"amount":"+0.9651364088058472","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":"Q4251071$368A0671-1600-4F8C-A6F6-777B8D1AB925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0399745c723f0a361fcfcf9dce06d6aa8b6d24e7","datavalue":{"value":{"entity-type":"item","numeric-id":4945238,"id":"Q4945238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e21570200b6c8e625155833893d9ff172ccbfb8b","datavalue":{"value":{"amount":"+0.907080054283142","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":"Q4251071$EF85B699-2737-4E0F-BD9E-88EB5D0C4967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5750a3228104d898b30a426b1f7227709044f445","datavalue":{"value":{"entity-type":"item","numeric-id":5277893,"id":"Q5277893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecdfc40af56b5053839cfcfae60e5b9d593b8d75","datavalue":{"value":{"amount":"+0.8726838827133179","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":"Q4251071$AADC954D-3D69-40D5-A9A7-E9D5EEFB90B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4251071","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4251071"}}}}}