{"entities":{"Q7317490":{"pageid":31318630,"ns":120,"title":"Item:Q7317490","lastrevid":105110230,"modified":"2026-09-17T09:34:13Z","type":"item","id":"Q7317490","labels":{"en":{"language":"en","value":"Karp's NP-complete problems over first-order definable structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8243909"}},"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":"Q7317490$CAEA6462-9F3B-430B-B4B9-8146251FFABC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bbc1759ce7c0ff97647128a671e73b5586e6e94a","datavalue":{"value":{"text":"Karp's NP-complete problems over first-order definable structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7317490$CEB0CFD5-088A-4DB0-95F8-A88C544D588A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d73cecfe1f35a0364c472a36ace709e48fea316b","datavalue":{"value":"10.1007/978-3-032-22730-0_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7317490$0799C7F2-4C99-491A-87F0-F364310542B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"85a2428af1f34efb7736fa38c0b17c7579e3e671","datavalue":{"value":{"entity-type":"item","numeric-id":7317489,"id":"Q7317489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317490$3002ECB6-D6D8-495A-AD56-783A8AA35EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d3118136e3f1e7a1e2bfd0b43cb9b6b990ee60b","datavalue":{"value":{"entity-type":"item","numeric-id":383370,"id":"Q383370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317490$340943E2-A304-44F4-A90C-CF15722846AA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"679b4e0b22b8f0492481521a42d04ad8739e3203","datavalue":{"value":{"time":"+2026-08-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7317490$C14DAC53-B8AE-4231-9D7E-A3A1AA34CC16","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7317490$4848ED7E-EF56-4727-809D-74A7A36C88F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7317490$A99A2739-405D-4622-8E5E-231082A44446","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f39f7f1250b3cbeed00fb181f403faa26b53dbfb","datavalue":{"value":"8243909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7317490$ED35C203-9BAF-48E1-B8D6-FC4A43031C03","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317490$E90E9CCC-C7E0-464A-B1D3-DE00B3F45441","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":"Q7317490$1316D0CB-8DDB-4DCE-9FB9-4FBC273B4588","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd3e0bf6d66ae7c4b6b46e88d6d5b96072d8e8fa","datavalue":{"value":{"entity-type":"item","numeric-id":5597521,"id":"Q5597521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317490$A8AD9A18-87AF-43C3-BF7C-A4B36607C57A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac6e2f28c5e39cfecc9d8cb690766cf09c1b2d7b","datavalue":{"value":{"entity-type":"item","numeric-id":1764419,"id":"Q1764419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317490$BF67B14F-0B96-4877-B2BD-E046BBE6F947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dda248dabb8c6b55719582772e35a701e821c7be","datavalue":{"value":{"entity-type":"item","numeric-id":6566474,"id":"Q6566474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317490$B9E3E415-594A-4DFA-9076-40E269CDD71F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef74b2eedee87b13ce198ffd06ab9769acdc7962","datavalue":{"value":{"entity-type":"item","numeric-id":2878750,"id":"Q2878750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317490$F70D84D9-B5BD-4C0C-9F87-2821A450C48E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af4555c0d89e243a8a9351cedc1b4ffbfceace09","datavalue":{"value":{"entity-type":"item","numeric-id":5691140,"id":"Q5691140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317490$FC167B7C-E8CD-4074-BF36-95AD9899B813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8fbade1494262f30a74b34690f7ee234987ead3","datavalue":{"value":{"entity-type":"item","numeric-id":801935,"id":"Q801935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317490$1B64B8D1-6CC6-4C76-9CF3-98CCDF5DEA15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e1cf1e5b2883f923602b7d58e93854b5b30c48e","datavalue":{"value":{"entity-type":"item","numeric-id":4542577,"id":"Q4542577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317490$A96B80A7-2702-41C0-8E4B-535CA78F132C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af6cbc67e36e461fcbddef68fe4c61921598e6ca","datavalue":{"value":{"entity-type":"item","numeric-id":6649440,"id":"Q6649440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317490$5F5DF156-A848-45C4-B64F-0C44CA8DB965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a397921a92e6b5f3418f30ed7d24870d879a18f1","datavalue":{"value":{"entity-type":"item","numeric-id":6854564,"id":"Q6854564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317490$D4A68AFF-A3C8-43AD-9160-CDA570B71534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddac2cb0cab9a9a11856f9a2de1033720694bbf0","datavalue":{"value":{"entity-type":"item","numeric-id":5145615,"id":"Q5145615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317490$D531B950-4DDF-4AD8-AA29-5D8C96EC4C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1da9c49f0ea3f51aaa8fb5f2ffd0d29b066571de","datavalue":{"value":{"entity-type":"item","numeric-id":1374209,"id":"Q1374209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317490$1783C1AA-15D8-4A1F-BD89-77146F704542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8f60eb75fb0652cb3979607bf7afd1a1573a640","datavalue":{"value":{"entity-type":"item","numeric-id":1816727,"id":"Q1816727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317490$31B05834-9A3C-4B1C-A016-4A2A0168C89E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317490$DCE6743C-F9CD-4D2A-B876-1C9277C9AA60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"501aefe4754342fb8d5444baacca037714207964","datavalue":{"value":{"entity-type":"item","numeric-id":4999425,"id":"Q4999425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317490$15334A2F-1C4C-44A2-A87E-8051F4C75587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"251fa540b39a4047d1d53d78840a8780ede92f97","datavalue":{"value":{"entity-type":"item","numeric-id":2575145,"id":"Q2575145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317490$35D5DD9F-2F7E-4109-B75F-318DF72E3A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50e4f27326ba1b39abb6810942a72d8b72dba84e","datavalue":{"value":{"entity-type":"item","numeric-id":6064290,"id":"Q6064290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317490$76684754-BC08-4FE9-9435-2E386719BE4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1256aab4eadc6d00b5ebc526178720a4790e772","datavalue":{"value":{"entity-type":"item","numeric-id":4635828,"id":"Q4635828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317490$0586ED65-C595-4812-B8FD-0A5312B40259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"128a6209c12340aa56195ef81a818268aa8e605d","datavalue":{"value":{"entity-type":"item","numeric-id":4636561,"id":"Q4636561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317490$C025F2B0-8F66-43A9-A8A4-9536A9F022B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79da2439790169a6057373a2572439132df4a77e","datavalue":{"value":{"entity-type":"item","numeric-id":4972736,"id":"Q4972736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317490$F21C4627-8ACE-4B12-A9B7-6BF52AD8D754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4164253f385b647bc8d8a4e170ef626ca04ed0a2","datavalue":{"value":{"entity-type":"item","numeric-id":5013828,"id":"Q5013828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317490$EE600D16-4B52-4BE2-BC78-094F1902AE6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b639e71e006b5e4125c5cba2ae7a1073e2e4dda6","datavalue":{"value":{"entity-type":"item","numeric-id":3570167,"id":"Q3570167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317490$07A03AC3-D97F-4FAF-AD34-D628005A8196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d94612bd2e275646ffb2ec62f0c3f11aab8f7a8","datavalue":{"value":{"entity-type":"item","numeric-id":4211140,"id":"Q4211140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317490$29A677F5-1AC2-4C5E-81F5-A11807AFF2A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d7c974da2fbdfbb494f4ddce13bd1f1e2231832","datavalue":{"value":{"entity-type":"item","numeric-id":2849600,"id":"Q2849600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317490$A207F9DB-C09E-4103-B69C-8286C1DBE047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09b26e20a31d304a65db33daf659790af170272d","datavalue":{"value":{"entity-type":"item","numeric-id":3503740,"id":"Q3503740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317490$9ADCF08D-D758-4BAC-AD96-68343F999A6A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Karp's NP-complete problems over first-order definable structures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Karp%27s_NP-complete_problems_over_first-order_definable_structures"}}}}}