{"entities":{"Q3587453":{"pageid":5617357,"ns":120,"title":"Item:Q3587453","lastrevid":90347324,"modified":"2026-06-04T19:56:39Z","type":"item","id":"Q3587453","labels":{"en":{"language":"en","value":"Parameterized modal satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5780559"}},"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":"Q3587453$661C0426-332C-4475-B10C-E20FEF4B813C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"abc6d82ff238a11bbdba11d09c8fd5d44935a087","datavalue":{"value":{"text":"Parameterized Modal Satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3587453$07C65BE8-C1D6-4B09-BAC0-CE27EFB9819D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"09089627588cf6b1e8cc33b2bc4425f775d12364","datavalue":{"value":"1288.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587453$4C4D8533-4FB0-4B3B-AA4E-EF6ECBB72F1D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bba317fc28c32cb56f62f1ca12acd0c360049bf4","datavalue":{"value":"10.1007/978-3-642-14162-1_31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587453$8EE17388-65FC-4E71-AAA0-A12AA305F040","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"11c8411560fc28b1b609a2591d5a543bf011c80b","datavalue":{"value":{"entity-type":"item","numeric-id":1652981,"id":"Q1652981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3587453$BB87B7B4-8C14-43A0-82EA-5FF6FE1C5D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7565b924b7d0322100d1a4b4e7f7c011486fd273","datavalue":{"value":{"entity-type":"item","numeric-id":392020,"id":"Q392020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3587453$A8322EF3-CDA9-487A-8B6C-BC55C25716ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"393a0433c1e4b6cede002c1b37ffcfb820632550","datavalue":{"value":{"entity-type":"item","numeric-id":442256,"id":"Q442256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3587453$B2071999-05B5-445D-9F04-9339376B23AC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3587453$49A0E178-385B-4F06-9F2E-0F4414DF2730","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2243fd9e92593f5db7a6acc36a5542d36cbb6fd7","datavalue":{"value":{"time":"+2010-09-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3587453$38F0F080-CF88-4FC1-A240-74E734F80C00","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e82cfd0e836a0d175ff949ae9a16fd19ccb1a70b","datavalue":{"value":"http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-58600","type":"string"},"datatype":"url"},"type":"statement","id":"Q3587453$C03BFB48-1D11-4C23-9DD3-C8A011424774","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587453$D7DC5741-8BEC-4BD4-AC66-FA6F05B64111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587453$8342FF6C-1799-4F04-85D1-AB6E234B4C78","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9af6ac7a7985dd2fccf451855d6681e0b009ea71","datavalue":{"value":"5780559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587453$55699075-9CBC-4692-8677-115BC419CFF5","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":"Q3587453$5C368C77-64B2-4808-8E31-B966F2FD92C0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f3b5dcf53c2ade67a2e7c2fda76e7f442f8cedaf","datavalue":{"value":"W1676460682","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3587453$C78F84DB-5D51-4683-B951-B60837F9757E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d343104e13ebed7dbcd78ce1d8780b01a8c06605","datavalue":{"value":{"entity-type":"item","numeric-id":1759682,"id":"Q1759682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce16efdbd93746b2312e9fb31eaf985c53d73a40","datavalue":{"value":{"amount":"+0.9995428919792176","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":"Q3587453$594DB822-6EE6-4473-B2A8-B8CBD6CDDE5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1079cdb2c6cfdcba9a4fe7fe49f49cf85e3ac8f8","datavalue":{"value":{"entity-type":"item","numeric-id":5901156,"id":"Q5901156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6077b0bd6379d934da1a8351f72b8c12324b5921","datavalue":{"value":{"amount":"+0.8298990726470947","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":"Q3587453$9A9B991E-CE6E-445B-A553-B8AE1249396D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e39e43465716698ab53e8e6f365bbfdb3964a7f","datavalue":{"value":{"entity-type":"item","numeric-id":5892171,"id":"Q5892171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9530c15e7a4b195434e89050051b6fe007debd54","datavalue":{"value":{"amount":"+0.8222958445549011","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":"Q3587453$291BFCBC-49DE-4874-A79E-569FDF5F4DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4b46e267134ea318cd8e86042ef0a00b2e104f6","datavalue":{"value":{"entity-type":"item","numeric-id":988571,"id":"Q988571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6733f701b64501066e2dd8b9c6ef6fc60774940","datavalue":{"value":{"amount":"+0.7856436371803284","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":"Q3587453$F3F339E4-8CF6-40B0-9140-4C35BF1B3CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94bc608f5ca5a9091998c7366f1e292866fc4929","datavalue":{"value":{"entity-type":"item","numeric-id":5449825,"id":"Q5449825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39b907fd34655075d2d8bb62b0af9ab52b0d2479","datavalue":{"value":{"amount":"+0.7811151742935181","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":"Q3587453$AE59DA29-51B0-44D2-8D5F-5806E7A6EF49","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Parameterized modal satisfiability (scientific article; zbMATH DE number 5780559)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Parameterized_modal_satisfiability_(scientific_article;_zbMATH_DE_number_5780559)"}}}}}