{"entities":{"Q2851668":{"pageid":2862388,"ns":120,"title":"Item:Q2851668","lastrevid":51843851,"modified":"2026-01-20T07:54:45Z","type":"item","id":"Q2851668","labels":{"en":{"language":"en","value":"Partial model checking using networks of labelled transition systems and Boolean equation systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6215582"}},"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":"Q2851668$9E24C04A-A5CE-441F-B1C2-D16EE57471C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d05b8fcb2476bef32b28947fccbfb44b74bfc1a0","datavalue":{"value":"1274.68195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851668$C6D74ED1-8881-44BD-8CB7-049008A845C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"007fd364f8be2d0432468f60a13bab0f4d41b554","datavalue":{"value":"10.2168/LMCS-9(4:1)2013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851668$7F51EBFA-E464-4E1F-B00F-FA29900CC1D7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03803a86c259dd7d40f426fa3d0b01530e98d11c","datavalue":{"value":{"entity-type":"item","numeric-id":282107,"id":"Q282107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851668$21037929-8110-4E38-A854-30EFAAFADB5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"02c329ce73cf2cf05208eaecb8501cfdd9b30fb6","datavalue":{"value":{"entity-type":"item","numeric-id":282109,"id":"Q282109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851668$9A7046F4-ACA7-442F-B8A0-616B68329D7C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851668$D8F58004-FB24-473C-8F96-EF6FC5C9C63C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e66e529c7db342e2e69c7d5a949f71cd11d4666c","datavalue":{"value":{"time":"+2013-10-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2851668$AFDF68EC-2558-47A5-A3B7-EE5BED71CC0F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851668$93B655A5-678E-4F3C-B1B1-6F638ED84ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851668$21E1A5C0-F302-47E8-A02E-C436B3E25CF1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc39864b8367b5a6ae8f409a4e021fe6bd918b3c","datavalue":{"value":"6215582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851668$9B66F104-FE6A-470F-BE90-6A620801C1A0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2851668$971104CA-B4B2-4C15-AFA1-F9BFF71F7E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdad6c7f5be84f5ed04215b5cce5a2a5c8dc0aec","datavalue":{"value":"compositional verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2851668$0ED6F34A-536B-4799-AC10-806CBB3DF354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2851668$3D7205F8-B1B2-48C0-BEBC-843AA6C84E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2851668$AB31179A-9C6E-4F39-8960-5F303BE637D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2851668$18F56EBF-1496-4FD9-84F4-08A223FD4EAA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8860b2cd15c94f68eddbbb4c1da7b2e3d0978f1b","datavalue":{"value":{"entity-type":"item","numeric-id":17140,"id":"Q17140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851668$7D6DF203-E54B-4264-80BF-4926F2C135A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"15f42f34bb8034b7153a71ee2b21150989bbe06d","datavalue":{"value":{"entity-type":"item","numeric-id":19719,"id":"Q19719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851668$AB13592A-E41E-4E7C-9493-BF009213C301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"76fd75bdf0976a0e4ed41326843ac8e5ceb2869b","datavalue":{"value":{"entity-type":"item","numeric-id":22161,"id":"Q22161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851668$81688C9D-558E-43B5-9A10-3D04C20109E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f19c6afe93f9c0525f95308556e599d9a0e1c190","datavalue":{"value":{"entity-type":"item","numeric-id":24315,"id":"Q24315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851668$F18042DF-DB07-44D7-9AB2-14FF6C42C8A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8aade874f98df86276cbc41969e554df92eb03f8","datavalue":{"value":{"entity-type":"item","numeric-id":24351,"id":"Q24351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851668$60142487-8448-4379-B904-7EA8859DBB31","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":"Q2851668$DD973B55-FAF7-48A6-B34B-57EE01C03526","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5ee83f711674bf91557d7701afa4ebf58451721f","datavalue":{"value":"https://doi.org/10.2168/lmcs-9(4:1)2013","type":"string"},"datatype":"url"},"type":"statement","id":"Q2851668$07E9C4BA-194B-4D80-A478-B27A66571CB4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cbb3b7c51bfc864a6cda6611d8623387ec76a3a6","datavalue":{"value":"W2050691526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851668$7D4265B8-7209-4B84-BA90-FCD4C17F406A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"adf985245477ce9f7815eab79e2fcaec26bd99e4","datavalue":{"value":{"text":"Partial model checking using networks of labelled transition systems and Boolean equation systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2851668$A453B83A-1F48-4961-83D2-06D04F92D3E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bde315b63c24200778e30897f764d9614da5f43","datavalue":{"value":{"entity-type":"item","numeric-id":2894270,"id":"Q2894270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d290af2de9e3eed8fb79f2e0162a785f6f49a3f","datavalue":{"value":{"amount":"+0.9956974983215332","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":"Q2851668$BC600109-94A1-40E9-BCCD-319717D4D785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfb0e469db8af7a009a867a359818028b3fb0366","datavalue":{"value":{"entity-type":"item","numeric-id":3402273,"id":"Q3402273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17280fa9483c7309f0f93f36c02b3de8c75e17ac","datavalue":{"value":{"amount":"+0.8021059036254883","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":"Q2851668$A3A38CD7-B996-44AA-81BA-C072CA3B0CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1e453b55fff9aa4dfd4ce23c9986a02d2e13412","datavalue":{"value":{"entity-type":"item","numeric-id":1856172,"id":"Q1856172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d40387e331003d0023e15346444773e37f390ed","datavalue":{"value":{"amount":"+0.7875726222991943","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":"Q2851668$0BD03DEB-1125-41BC-AEE3-2C22F0EC904E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"050b4a2623d15e751baed2a171c14980626a591a","datavalue":{"value":{"entity-type":"item","numeric-id":960506,"id":"Q960506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d0b387b7be5a7679967a7bb05e5478dad9a3a19","datavalue":{"value":{"amount":"+0.7576679587364197","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":"Q2851668$369A86A3-210F-4B86-A633-3DD5938E638A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"430a37bf04db9c21fe1ff8141794a20cfc720c0a","datavalue":{"value":{"entity-type":"item","numeric-id":1854268,"id":"Q1854268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24143444b4df8ac3aebf232e6dfec02c50f7dc79","datavalue":{"value":{"amount":"+0.749192476272583","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":"Q2851668$E19800A4-B2C7-442F-8C9C-C4CD8CFDBE6C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2851668","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2851668"}}}}}