{"entities":{"Q3527311":{"pageid":5557215,"ns":120,"title":"Item:Q3527311","lastrevid":80879270,"modified":"2026-05-06T17:12:34Z","type":"item","id":"Q3527311","labels":{"en":{"language":"en","value":"Bounded Second-Order Unification Is NP-Complete"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5347574"}},"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":"Q3527311$5239DFC1-46F3-4B8A-B780-69D8884A8228","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"809e677ef2b76192c12ba816769624522161c986","datavalue":{"value":{"text":"Bounded Second-Order Unification Is NP-Complete","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3527311$A223D5E0-BA3C-45B2-B105-DBBFB507D7C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c99ba3bdb74a995546f5d7e944276d917b82c901","datavalue":{"value":"1151.68450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527311$BDBDF285-E03A-496C-9776-A0F76971B7D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b6d104e921655b9ead82043470ad23bbbacf984","datavalue":{"value":"10.1007/11805618_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527311$9CA1EE57-1FA5-4E57-88FD-70F76F838F6E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f19d6bb88e6317a65ec423b9507831cfb57ff946","datavalue":{"value":{"entity-type":"item","numeric-id":309918,"id":"Q309918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3527311$6210C77A-9CAD-47E1-9C54-7D91203CFE7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"588ee65877f0d3e81836f8c13b96426bc0fd83a2","datavalue":{"value":{"entity-type":"item","numeric-id":487631,"id":"Q487631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3527311$3C26233C-541C-4544-A8A5-87D8C9FABEE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d0c8e7fc7107924c2bbe29f5a4f74a049a1ff57","datavalue":{"value":{"entity-type":"item","numeric-id":1110492,"id":"Q1110492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3527311$838292B5-08A1-41E3-821B-E702156D665A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3527311$AEC47EDA-601D-4B25-8704-F380BC6639A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bad7db4275b7ee1b7635bea2be947374a54e8d8","datavalue":{"value":{"time":"+2008-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3527311$19F3E757-CBE3-4181-8F74-D299327708BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527311$49D48527-3F4C-4072-8B19-97233118D50F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527311$A99CA949-9A99-491B-8EF4-A67675F8D834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527311$EF694043-F22C-42E2-8615-96EA27077D91","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93680d02b77566a22e999d7bb4ab7dfeea0a8dde","datavalue":{"value":"5347574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527311$08474C38-C393-474E-9243-32E22F007665","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":"Q3527311$1D608D48-1711-4A8B-93BF-2FB666EA850B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"131b501cd9f4bc9100e0742acc1aca17ee8bb1fe","datavalue":{"value":"https://doi.org/10.1007/11805618_30","type":"string"},"datatype":"url"},"type":"statement","id":"Q3527311$569BE179-30EA-4B68-8F24-41B6A75B98DA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bf5f7facb8258423616326e8190101beec0fba8d","datavalue":{"value":"W1521552748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527311$87AFE98F-A50C-448C-9D51-8A54092BB49A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"358eb888a6ab4af160183ea4f374fd9a4555fe6b","datavalue":{"value":{"entity-type":"item","numeric-id":1887168,"id":"Q1887168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c093beb49cf1afdd825c031a66e26137cf57694","datavalue":{"value":{"amount":"+0.9403431","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3527311$BA1D8604-A277-4212-BE62-77759E4FCF85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad38cbe209617bc25cf7a748227fcaef91ef0d2e","datavalue":{"value":{"entity-type":"item","numeric-id":5901562,"id":"Q5901562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1885898c5887168d08f14eff2c6d4d0902471245","datavalue":{"value":{"amount":"+0.90815985","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3527311$B3D0E076-7685-436B-BF76-CD6DC19C0C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd7dcd2df8afbd3c241c13e3ec622e1430544349","datavalue":{"value":{"entity-type":"item","numeric-id":2889573,"id":"Q2889573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a56038c3b351ce2b40d239830a7bbb3e2b138e8","datavalue":{"value":{"amount":"+0.9040039","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3527311$9F975CA3-5F28-4316-ACDF-BC45C24877B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5324d2665727850e5c41647da1b2fc2f4691e2a","datavalue":{"value":{"entity-type":"item","numeric-id":3838759,"id":"Q3838759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9cf840024365502eb4dc38814686a028790e735","datavalue":{"value":{"amount":"+0.8963204","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3527311$109BC7E4-FD3C-47C9-B1FB-BCA37570E1D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f007a07ed807fcdb7e509c5c3ed234cefdf0ca4","datavalue":{"value":{"entity-type":"item","numeric-id":2277244,"id":"Q2277244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"035d912171b2e8272f2c43766a5bd0fbd4b2cf54","datavalue":{"value":{"amount":"+0.8879517","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3527311$5FE0E0B8-66A0-4C8D-8B5F-C19C0459DE7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08600648451cbff75dccd1f590a9db05d1a31563","datavalue":{"value":{"entity-type":"item","numeric-id":1854349,"id":"Q1854349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ecadac656d14b70bc31ce7e836377b6d3806a67","datavalue":{"value":{"amount":"+0.879683","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3527311$0F4588D8-75F4-44BD-8E89-C74A6C8673DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ff3e9d47b4998a80945f7b604e1447625228f15","datavalue":{"value":{"entity-type":"item","numeric-id":2456577,"id":"Q2456577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c70b7ddb85b804858c1b7e71f47f2027d002f380","datavalue":{"value":{"amount":"+0.8793807","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3527311$8F0A2B45-8F5D-41DA-9333-9E9CF873A703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2378905a4e763ddc542c0601e8ca673be62d7c10","datavalue":{"value":{"entity-type":"item","numeric-id":4411845,"id":"Q4411845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c70b7ddb85b804858c1b7e71f47f2027d002f380","datavalue":{"value":{"amount":"+0.8793807","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3527311$42C89A13-3A22-4F61-8E94-54F883208C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a564069e267b514ca61fa4871b9e75c56cd967ed","datavalue":{"value":{"entity-type":"item","numeric-id":3631904,"id":"Q3631904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55a8991a05c433fe8b53c47c4f8969c077fa47ec","datavalue":{"value":{"amount":"+0.87491214","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3527311$F807978A-436B-4203-8748-51E4EE79EA88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f690a8deda52f079e95a31c469a648f4741c0eba","datavalue":{"value":{"entity-type":"item","numeric-id":5278399,"id":"Q5278399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6251569c305db54d8ad0e217648379ffda8d7414","datavalue":{"value":{"amount":"+0.86091197","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3527311$86AABB88-BDD1-47D4-8BEE-9E1D811ACF97","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bounded Second-Order Unification Is NP-Complete","badges":[]}}}}}