{"entities":{"Q3401086":{"pageid":3411789,"ns":120,"title":"Item:Q3401086","lastrevid":50890517,"modified":"2026-01-15T14:51:34Z","type":"item","id":"Q3401086","labels":{"en":{"language":"en","value":"Forcing monotonicity in parameterized verification: from multisets to words"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5664037"}},"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":"Q3401086$934F649D-37C3-4F40-8540-F5261E8D3DBA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d22f89cde393cddc5ae6bc39fd8cbdbd70c6b3cc","datavalue":{"value":{"text":"Forcing Monotonicity in Parameterized Verification: From Multisets to Words","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3401086$4FC0C5A8-DA80-4E19-AA63-DAE59E375E80","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8ffa6ff1a821258a815242514f964f3eb8b8448b","datavalue":{"value":"1274.68171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401086$1AF94C5C-47C2-45DC-A25B-617D5C8AE77F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e12fc7dbd5bda0efa7e98d4521c646f4c6eb83a","datavalue":{"value":"10.1007/978-3-642-11266-9_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401086$5E6659B0-C95D-428C-917F-11191E0CBB20","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"20d9701f76fcc5f7b32bc216ad1215c37bf62cbe","datavalue":{"value":{"entity-type":"item","numeric-id":3401085,"id":"Q3401085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3401086$EE97DE65-4317-4F8F-9E57-56C27B713700","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"12a65b7d3eabbb46878e927de404f33a8ce894af","datavalue":{"value":{"time":"+2010-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3401086$88E5B1B2-8411-4EB0-8F78-806C05015E31","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401086$50696928-8A85-4F3A-99B8-8E8AF71CB090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401086$FEE9B719-DADB-4840-8147-AF929CA0C8E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e9f590ffbff09b42c6758da253bfdf9251f2702","datavalue":{"value":"5664037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401086$AA6FDF6E-1BCD-4816-A1EC-F8FDC7E0A7D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da3257392c6ffa563f5e454ba2a32388db4ce02a","datavalue":{"value":{"entity-type":"item","numeric-id":300408,"id":"Q300408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3401086$D53BBE5C-7272-44CE-84A1-417E93F52453","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":"Q3401086$2D7E2F1F-864D-4313-A0A4-2BB4F7E0B541","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e36e1ab94ad10f9ffd264f682823665b5363af5a","datavalue":{"value":"https://doi.org/10.1007/978-3-642-11266-9_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q3401086$37557CB0-0795-4459-988E-18AE062429FB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"69183c6edfd554a0fd9d62aac1a556b4ccbb0fe7","datavalue":{"value":"W1848713912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401086$A4DC0535-0FCD-4619-8291-594598CDA72C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74747c930fd16f41c41b115f19236c7f065dcbb6","datavalue":{"value":{"entity-type":"item","numeric-id":4982082,"id":"Q4982082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8049a5fb1aeb2a09107f6232ffb4f7d4c980b5d","datavalue":{"value":{"amount":"+0.91336327791214","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":"Q3401086$1C938714-E18E-42A1-8D66-DA263D8B5896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a307029137dff4ea2ff32df601b7fca7ec09796","datavalue":{"value":{"entity-type":"item","numeric-id":3646165,"id":"Q3646165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"299977880ef0fbd2dd499e0b76b3fe4091e74491","datavalue":{"value":{"amount":"+0.8651956915855408","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":"Q3401086$6040A7C2-B81B-41CF-90A9-2C89F515B327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4f882e8c8c3f3b35fb5d6d6ebc7b6d3533c1972","datavalue":{"value":{"entity-type":"item","numeric-id":5505593,"id":"Q5505593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"deea0cd941c3ceefa7b5fde99bf72f6e81b9bfef","datavalue":{"value":{"amount":"+0.8032066226005554","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":"Q3401086$398440BD-88C6-48DF-A5E7-F750B3AC49AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d652559e74c14b3701406a3cb95390cace819dab","datavalue":{"value":{"entity-type":"item","numeric-id":5404930,"id":"Q5404930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33c85219de72f8921daa1f772333b04b45e8138a","datavalue":{"value":{"amount":"+0.7881230115890503","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":"Q3401086$DA0F2BF5-C54D-4BE8-B846-92C75ED089BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3153dc0c5d9d705ab477259c5095a8bcaf5c50e3","datavalue":{"value":{"entity-type":"item","numeric-id":2926658,"id":"Q2926658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23f26cbfaa9fa38decdb06f539cae3e66995aef8","datavalue":{"value":{"amount":"+0.7863482236862183","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":"Q3401086$5E751F07-95DD-4752-9109-861B9C9A09BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3401086","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3401086"}}}}}