{"entities":{"Q4263159":{"pageid":6292760,"ns":120,"title":"Item:Q4263159","lastrevid":46667154,"modified":"2025-12-25T09:03:45Z","type":"item","id":"Q4263159","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1341610"}},"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":"Q4263159$4D00FE8D-7682-4A65-A490-61E6A1E4E02C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"20997ccbede9cd14303bc8bb1fedc5f740f26a39","datavalue":{"value":"0937.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263159$A26849AC-EA05-4AB9-83C2-C44A7C89AEAD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ecf11585c0f8197c3896e9084b32b8690fac029","datavalue":{"value":{"entity-type":"item","numeric-id":167065,"id":"Q167065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4263159$B32A280A-975E-4F19-A7AE-D74838F119E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f09b8a9395155a30216cb6edc3cd9a78201bab1b","datavalue":{"value":{"time":"+2000-02-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":"Q4263159$DD87C804-B08F-41CA-8B9A-9C800F6CBA83","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263159$886BCAA6-DA8F-4E88-8C38-9F487FDA1F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263159$27071782-8178-472C-9170-9A1243787DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263159$01B7277E-06AF-4F72-8AA3-C49F831BDCDF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4f49f80203e00420b0b6504f33290b8d3528dd1","datavalue":{"value":"1341610","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263159$21D91CC6-BC7B-4CD0-9917-6708F28974CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fea41350879795bcbaf685c64753d1904d3cf508","datavalue":{"value":"equational problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263159$0F5C2713-ACC9-489B-BE41-D2C243B1D3C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4780b02cfc7bc35a586062e3271a9f52fa94f067","datavalue":{"value":"complexity analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263159$3B4166FC-1BE9-4E61-8574-91C4188CBDBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263159$F3262F75-D66D-4C09-9EF4-A3AB16587779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fe7f1e57f10df70ba6e5bccbceceab8d9e55057","datavalue":{"value":"infinite Herbrand universe","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263159$DAD2A7FB-F6C8-4A3A-BDC5-4AAC2358959C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf1bbad404b660dcc4f7e1f74269a25b269f6b2f","datavalue":{"value":"NP-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263159$B3FC3ACA-31A5-424C-B5AA-43044026964F","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":"Q4263159$970C89DA-B5D1-45F1-B525-D2BDB3128BE4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74846a1394461b77cf29929fd533cb4678823d29","datavalue":{"value":{"entity-type":"item","numeric-id":1404988,"id":"Q1404988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"125a3993eda7db7633e27cdf48e791e69b8b1ef3","datavalue":{"value":{"amount":"+0.9452964067459106","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":"Q4263159$83578CAB-7921-49EE-838D-BCAEDD9E53DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87931669e1651228992cdbf1bcc05dfc01c8ee4e","datavalue":{"value":{"entity-type":"item","numeric-id":1124372,"id":"Q1124372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"590ed05f3f2eb6ea344ddf3bd2fc8b35b950292e","datavalue":{"value":{"amount":"+0.8106959462165833","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":"Q4263159$E9DE0AED-47A8-497A-8A4F-BB47EF122DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4934a407f1d8c884db587f42db154a949f7f59a1","datavalue":{"value":{"entity-type":"item","numeric-id":4790398,"id":"Q4790398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22f67b67a1704ccb18750e6e828aa6914ea67a22","datavalue":{"value":{"amount":"+0.7652852535247803","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":"Q4263159$816C47E6-C768-4BE7-8789-644CC2939521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"823d50f5ac8a1a4a751660c59bfb6f1b45431044","datavalue":{"value":{"entity-type":"item","numeric-id":3129297,"id":"Q3129297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6f62c31d86453826f585b6d348d080578aeb6a7","datavalue":{"value":{"amount":"+0.7622430920600891","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":"Q4263159$7A45B551-8596-4574-97E8-1C177AE56E69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4263159","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4263159"}}}}}