{"entities":{"Q5452616":{"pageid":7482175,"ns":120,"title":"Item:Q5452616","lastrevid":50326931,"modified":"2026-01-13T20:11:07Z","type":"item","id":"Q5452616","labels":{"en":{"language":"en","value":"Symmetry and Completeness in the Analysis of Parameterized Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5259443"}},"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":"Q5452616$497CCEB3-93BF-4C52-B5B9-4BFAC576D144","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa0ec98d45eda2fc9191d0c024e93ce56e77ee0b","datavalue":{"value":{"text":"Symmetry and Completeness in the Analysis of Parameterized Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5452616$31E9E2FC-A34F-4EAC-B6FA-B788252D214B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"422a336678daad407e09f5751cf9e8c079bf7c96","datavalue":{"value":"1132.68476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452616$E9A0CED8-E518-41DF-9B7F-C0AC4F24FE7A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d56128ed773734f1f62e6c478f0770a590db7aa","datavalue":{"value":"10.1007/978-3-540-69738-1_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452616$EC321AAB-10DF-424C-B333-DCDB9102CCA2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6d395f9c3d46709760217670affc69e5e3a2383","datavalue":{"value":{"entity-type":"item","numeric-id":784102,"id":"Q784102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452616$647350B5-F2DA-4F7D-BF18-ADB830B0EAD4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452616$DE3B589D-7FB3-424C-AAA2-017645836BD4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"283c808929f873b84bd7c8d7eb4dc979113b8f01","datavalue":{"value":{"time":"+2008-04-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5452616$65556E8F-11FE-4213-B90A-7317D62EDC6E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452616$FF688409-E0D2-4205-A84C-6EF0D454E00A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452616$AE56BADE-360C-4879-81D3-F34EEC5BD2B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78e543bd37d24463bf1882c7f6aa5e40b9d6800d","datavalue":{"value":"5259443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452616$E817A20A-CDB4-4DFF-A346-C72DB51DE6BD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a1d6b9e920f2e41a66a9767e31ca972ed7628dde","datavalue":{"value":{"entity-type":"item","numeric-id":15668,"id":"Q15668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452616$6A817D55-4930-40F5-9B9A-F8F0BBA6840C","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":"Q5452616$2032BE5C-6365-4921-B962-C5354F2A91A2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"48a002a1d34a71a4a7a6e4e158d5266c193789b1","datavalue":{"value":"https://doi.org/10.1007/978-3-540-69738-1_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q5452616$4F920F35-472B-4056-819A-0CF519D56237","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d08aca205dd337f3055da9da6109ce28b8fbdef8","datavalue":{"value":"W1515080744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452616$41E3C1B6-E230-4EE9-BE47-185E88DC92E3","rank":"normal"}],"P1643":[{"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":"2d975840f7feab190bf36628049be8099b0c4709","datavalue":{"value":{"amount":"+0.7806335091590881","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":"Q5452616$43456429-7C9C-4553-A4C6-BDCC89FD4604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bf050f6dc020970dc21f6588e2df8bc4f5c5159","datavalue":{"value":{"entity-type":"item","numeric-id":4417935,"id":"Q4417935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e22d8881f305ebce1f9720a0247040c9c09a78a7","datavalue":{"value":{"amount":"+0.7776618003845215","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":"Q5452616$6567A95A-55CE-4ACE-8665-E19380AB218D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea01d914082b4e177b7a684824a21dab7e5087bd","datavalue":{"value":{"entity-type":"item","numeric-id":2272926,"id":"Q2272926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8cec0b5c63382849ca3b2b80b42af62eaebbc39","datavalue":{"value":{"amount":"+0.7770417332649231","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":"Q5452616$6B2C26C6-1CD9-476E-8FA5-E062B1295C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f479fbb7fcee580f1c74a8a2d9e1b87037f61847","datavalue":{"value":{"entity-type":"item","numeric-id":2368952,"id":"Q2368952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd787fcd1d4ae833596964fd50cdd38d425e36ed","datavalue":{"value":{"amount":"+0.7761791944503784","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":"Q5452616$7AEC51AD-F73B-4829-9009-5E7FBDF55684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a396fab565fe4b0923a54ad4a727c34d3ae2032","datavalue":{"value":{"entity-type":"item","numeric-id":498394,"id":"Q498394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b04c8e428e615c5b95afebb0f3c170a68575f8d5","datavalue":{"value":{"amount":"+0.7734694480895996","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":"Q5452616$AF9AD3A4-2E1E-409C-8E5D-15CA16E47346","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5452616","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5452616"}}}}}