{"entities":{"Q1759682":{"pageid":1770424,"ns":120,"title":"Item:Q1759682","lastrevid":68889711,"modified":"2026-04-13T02:55:14Z","type":"item","id":"Q1759682","labels":{"en":{"language":"en","value":"Parameterized modal satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6109461"}},"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":"Q1759682$5B835145-B558-4A9C-84EB-ED5D7B84F4E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"21cfc75ae8df181abbf6709c764fc8a08eec6d33","datavalue":{"value":{"text":"Parameterized modal satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1759682$CBAC7382-FCC3-453A-B25C-BEFE5311CF72","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e1bd52ff65fef6779c863cd5d9c693df8f778d0","datavalue":{"value":"1283.68157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1759682$BB3FA8C1-A6DD-4C82-9FDE-B452987F13C5","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":"Q1759682$121B79C2-5FFD-4E43-9537-BDC14B8C6B99","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":"Q1759682$9604C7E0-EEC6-402D-A3C6-22F10067B6E1","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":"Q1759682$A660AEA7-43EF-484B-AC50-1C227D650432","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"65c8fa095fb5e7de7a6818fd747ab8b39647de93","datavalue":{"value":{"entity-type":"item","numeric-id":96582,"id":"Q96582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1759682$6B2E76CE-A5B7-4953-A4CD-69B66E5A8567","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"009d073aaba8149d93f34c88135fe65aadf514ad","datavalue":{"value":{"time":"+2012-11-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1759682$682B9BD6-E871-4A0C-98F8-37C9282D5720","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":"Q1759682$DDA726AA-7ACF-4399-99CD-5F8E59F8DDF9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1759682$8358F243-07F1-41DB-BC75-BDA8032B364A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1759682$B3015A8D-779E-460A-B76B-F36BA64FBAEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1759682$3D9E6D99-6420-486D-B508-EDDF70456382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1759682$D2D30A5A-7433-4A94-BCF8-4AFF3E7279C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f9b91195a85e960f87f8960c2771766e5a5249ed","datavalue":{"value":"6109461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1759682$5E43AD21-C0AB-4E60-AD1A-291D62AB4D74","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1759682$533FD09C-D2D8-4D33-A408-85196B227A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee63604621b6fd9d90b10f19ccdd9c167a66b1b6","datavalue":{"value":"parameterized complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1759682$C45ECC77-95E4-4D02-A9A2-DDCD614D3E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfded98921fb7d9cf722f229333546d869ef30c7","datavalue":{"value":"satisfiability problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1759682$F9A1B607-B795-4D8C-AB53-9AB75A1176D4","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":"Q1759682$8BE13BFF-E088-45AA-97D2-32E88D45D46F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2db342651a5380ec2b820b2b685fdd61c92d31f2","datavalue":{"value":"W1985294169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1759682$738520DF-D83C-4017-9214-E64C79503F7D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f70427d1bec1892856b306a28600257c0fb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1759682$7323165C-CEC0-4770-99BD-406651CE4EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"417ad0b3069d2d8e09dd331de0c221da351b2b21","datavalue":{"value":{"entity-type":"item","numeric-id":5465436,"id":"Q5465436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1759682$731954E1-81F3-4C7A-8778-271E22A5F7B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1134f2341d7e5000fd707505605e06ca29388803","datavalue":{"value":{"entity-type":"item","numeric-id":2641288,"id":"Q2641288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1759682$0CF64401-8A70-42DB-8270-A9F2FD15AAFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1759682$75719E04-C753-4A85-B78C-4CBD039F5332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc9ec75188f8f5a9ab5c6602769f49eb71db90f0","datavalue":{"value":{"entity-type":"item","numeric-id":4931900,"id":"Q4931900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1759682$D05F6DEC-DF63-4020-9E6F-8253CDE19EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37582b4c778c46bf24fc41a8cb06c175f07e6d17","datavalue":{"value":{"entity-type":"item","numeric-id":1886318,"id":"Q1886318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1759682$6EA1386C-3DA8-429C-A200-E7A095AC0FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90870b52f69b79e9f1be8991c81685fd47daf61f","datavalue":{"value":{"entity-type":"item","numeric-id":3546332,"id":"Q3546332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1759682$655713FA-0519-44AD-A1A0-A4C3B7D703BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"269af113feb3632279464e025fd9f9d59e022e9e","datavalue":{"value":{"entity-type":"item","numeric-id":1855229,"id":"Q1855229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1759682$B0236E87-E710-4123-ACAA-A5117ECD87F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8692698e912424588919ccbdb87259269ae9d2","datavalue":{"value":{"entity-type":"item","numeric-id":1193476,"id":"Q1193476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1759682$7E28E658-D6A3-4882-A02A-722B8B91F23F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e16a423e563e95a4bc0e8877a6e07157d2b960a","datavalue":{"value":{"entity-type":"item","numeric-id":5427258,"id":"Q5427258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1759682$EA1F2C75-F00F-4AD1-9C50-6E5F7ED13BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f66774e18bf6d9e857072576d53e1307dde765","datavalue":{"value":{"entity-type":"item","numeric-id":4149442,"id":"Q4149442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1759682$4B1A1BD1-66B9-4CC8-A4D3-1736FFA737CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d5423d393ddd88a4261ab6bc345e92ae171eb76","datavalue":{"value":{"entity-type":"item","numeric-id":5483012,"id":"Q5483012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1759682$9FBB70CD-74CC-420C-AE02-46F8DCB16C1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46ed020b59c477403bed93a2bd5eae02fddd49ee","datavalue":{"value":{"entity-type":"item","numeric-id":4833777,"id":"Q4833777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1759682$5FBA7931-1F28-4CB2-ADC7-22C389949A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0f92064a7c0a7169d569584bcfda37a7842df61","datavalue":{"value":{"entity-type":"item","numeric-id":4414647,"id":"Q4414647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1759682$3526A970-4493-46B4-819B-6CA699B426A1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8c555d0857d87b88ae94d246e5984ccfa0228d16","datavalue":{"value":"10.1007/S00453-011-9552-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1759682$C3D2A6A5-BDF9-4DE4-89C5-68A8895885E5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8be3561be537242c940a508facc3d798e41c46d","datavalue":{"value":{"entity-type":"item","numeric-id":3587453,"id":"Q3587453"},"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":"Q1759682$6F0350B1-17DB-4D67-97DC-30DF4C0E7933","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":"b5a804f91364cf8bd4736c5fbb2e9358c9d39b4f","datavalue":{"value":{"amount":"+0.8291653394699097","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":"Q1759682$C59F26EE-B4D1-4096-B236-CECAFF555E2D","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":"566e63c8a3019ce50ab347d9e40a4dab3945e44a","datavalue":{"value":{"amount":"+0.8211631774902344","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":"Q1759682$F7A8B06C-932B-4CF0-B8BA-1BA44BBE55FA","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":"979fcf0de7e27763ce8d2081a2bf96504d8cbcc3","datavalue":{"value":{"amount":"+0.7856424450874329","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":"Q1759682$090494B1-2300-447F-BF90-9972FF5D9F1A","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":"207cefa24986381e39b1f7b10b40ad50f494973c","datavalue":{"value":{"amount":"+0.7812241315841675","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":"Q1759682$88E57DC3-0C12-486F-9FA0-9A77EDE237A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Parameterized modal satisfiability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Parameterized_modal_satisfiability"}}}}}