{"entities":{"Q4634397":{"pageid":6663978,"ns":120,"title":"Item:Q4634397","lastrevid":58312314,"modified":"2026-04-04T16:30:31Z","type":"item","id":"Q4634397","labels":{"en":{"language":"en","value":"On satisfiability problems with a linear structure"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6857810"}},"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":"Q4634397$C8D8EA32-40C7-498F-9300-0CD48BA4A320","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d59a181f16ebb87a1eba01cb187226c8e4e770ef","datavalue":{"value":"1398.68235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4634397$F6FDA6E2-7158-4CD1-9B3E-C0F370CB78E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d39d34d441301ee331df563118867001b2e50da","datavalue":{"value":{"entity-type":"item","numeric-id":247181,"id":"Q247181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4634397$3DC51832-16E0-411D-AC64-7484B49A9C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7c39a8a4c757caff3eaef8f4cf5c88e2006b656","datavalue":{"value":{"entity-type":"item","numeric-id":300477,"id":"Q300477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4634397$7981EE3F-B31F-4123-B331-A5C6B016054A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7eb375132d882d088e307505ca1beab02aba0720","datavalue":{"value":{"entity-type":"item","numeric-id":300478,"id":"Q300478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4634397$CDCE0491-0D47-4E0D-B11E-24385CF7A7EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4703623e4fcbefcd3931d7b75f8faed8c58b1ed6","datavalue":{"value":{"entity-type":"item","numeric-id":222484,"id":"Q222484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4634397$4AC4C420-E961-492B-94A6-5D8914AFC268","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a7b04a932915a16080ff16768997e390c5868b4","datavalue":{"value":{"time":"+2018-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4634397$C00FE7B7-CA36-4567-B60C-9057D2975B07","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8d5a240f857c7d0cd8e835d32a195ac5c646529c","datavalue":{"value":"https://arxiv.org/abs/1602.07876","type":"string"},"datatype":"url"},"type":"statement","id":"Q4634397$9121C4C7-E87F-4ED6-93F9-257B240E144C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4634397$D3F25B6B-B954-4BBE-91BB-9C3363BB50DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"749b7137f279a66a306e75e15f613231b281c1c5","datavalue":{"value":"05C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4634397$527AE39F-B4FA-468B-9616-24F73F067063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4634397$C56145E1-3218-401D-BC50-2014F2FBDDF1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54dc3891eca2b245c9e3555944073258689baef1","datavalue":{"value":"6857810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4634397$417DF522-E187-4825-9E9F-2B3DBB727767","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4634397$E36B4406-85AA-4A1C-8CEB-C3387367AA7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d59ab2c83e0dbd443ebc1f3d0412b712509c0917","datavalue":{"value":"interval graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4634397$0DDA23A0-5FAD-45DA-B35A-384A49A33211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41b99bb6104d2c0d40b9edde68b48ad08ac0cc88","datavalue":{"value":"FPT algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4634397$1E67D3CD-C4FC-4FC8-8EBA-A0BA9E8FD0F0","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":"Q4634397$F48EF904-5F93-4849-813A-FF7A06AEA113","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8916003b709d0608e1cd22dd008a6532d3b0bedf","datavalue":{"value":"W2963301030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4634397$B74C0CF6-2398-4053-8F43-58E1FFC35FEF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e1e5789f0b27245b7d3abb32ab9df75bfc30a27","datavalue":{"value":{"text":"On Satisfiability Problems with a Linear Structure","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4634397$03F82C48-AB48-4314-BC28-6BE85FB8179F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d8db577b45415a11e481971dba56579dfd9cf477","datavalue":{"value":"10.4230/LIPICS.IPEC.2016.14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4634397$260B89DC-DCA1-4EC9-B803-6F93EAD5B070","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69945d502c82b63dba10c2c0dcbce50b86d789a0","datavalue":{"value":{"entity-type":"item","numeric-id":1392209,"id":"Q1392209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78748800b23360b753a3a05b4847d90c07a92e90","datavalue":{"value":{"amount":"+0.7874216437339783","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":"Q4634397$A8FF79F1-1E1F-4B4A-BB9D-425887178E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49f00fb733a153d43dc4b29ffd87de0b51eb6c7c","datavalue":{"value":{"entity-type":"item","numeric-id":3021904,"id":"Q3021904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8a2cc1de789ee9f774e2f2b209e15b4b15f4723","datavalue":{"value":{"amount":"+0.767069935798645","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":"Q4634397$668703B7-6696-444C-A5A4-2F000DA7CDD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea66f1dfaa7b183af57b7b1dc9f7319ecc55ecde","datavalue":{"value":{"entity-type":"item","numeric-id":582905,"id":"Q582905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47955cfc4ea594f522903c3ba39d1c12001a463c","datavalue":{"value":{"amount":"+0.7512617707252502","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":"Q4634397$51DF4FA6-7977-42C5-8BBA-9653D53F4E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"628d257a4f3557c6ec781c9e532bfad50107ab87","datavalue":{"value":{"entity-type":"item","numeric-id":5325876,"id":"Q5325876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f35f8b87ae0d6b94440e068445cef0b2777757de","datavalue":{"value":{"amount":"+0.7470842599868774","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":"Q4634397$92DF6984-D9F8-47A1-9A75-ADCE5037F034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c66ff750e4f00dd766330b4c49b506b02a838602","datavalue":{"value":{"entity-type":"item","numeric-id":4652603,"id":"Q4652603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b88014de89c27b4aebff0823cb94c516778457d5","datavalue":{"value":{"amount":"+0.7450706362724304","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":"Q4634397$D10B4945-7996-4A1B-903E-1F5EC2C941B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4634397","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4634397"}}}}}