{"entities":{"Q3591390":{"pageid":5621294,"ns":120,"title":"Item:Q3591390","lastrevid":50162555,"modified":"2026-01-13T07:54:57Z","type":"item","id":"Q3591390","labels":{"en":{"language":"en","value":"Cluster-Based LTL Model Checking of Large Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5189655"}},"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":"Q3591390$74629317-8220-4920-8986-A6DD8208DF4E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"81808a695d3d45086266a4472978d1c4deae0585","datavalue":{"value":{"text":"Cluster-Based LTL Model Checking of Large Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3591390$345CBD2B-226C-47A5-9C27-92072D82A774","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b867a46df4a5106f7a313044e65d234fb37afd8b","datavalue":{"value":"1196.68124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591390$A3D9A9EA-4243-42CE-B796-1BDCED9242DD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"48823809d56dce81cca5c23087f8fe90dd55e19f","datavalue":{"value":"10.1007/11804192_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591390$FC1B350D-A0B2-4761-A0BB-3C6A95A044AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b119b02feec4741f0c136f459ab9afd7603e153c","datavalue":{"value":{"entity-type":"item","numeric-id":282090,"id":"Q282090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3591390$9BBF2250-143D-458A-9647-36E99D56BF7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9b09522aaee1c72f01701b4e5032b55d6618dfd","datavalue":{"value":{"entity-type":"item","numeric-id":282093,"id":"Q282093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3591390$62C25347-6BDD-42D4-BDC1-A151EAEF1E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"49f82df4d18eab422e11b74b412720f50f68da1a","datavalue":{"value":{"entity-type":"item","numeric-id":1306564,"id":"Q1306564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3591390$5C6469B9-E1B6-4B88-8A39-11439712EEBF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6983a432596ad956b25cf3f430f5c969b7c5bd3b","datavalue":{"value":{"entity-type":"item","numeric-id":3066117,"id":"Q3066117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3591390$1345E55F-18B7-473E-A21C-1AFB6E1408B3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47c1d44f115232d90e5380da6a335bd95ea07f8d","datavalue":{"value":{"time":"+2007-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3591390$AA860FCF-7B68-4FB6-961B-DD689F872415","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591390$E47BF583-7537-4712-9927-3D076D90F99D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3272d8877e3151e29528d181b5f4655de362a5ac","datavalue":{"value":"5189655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591390$767C8491-2ADC-4B67-8343-D6B47A9FD495","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3591390$A935D36D-8A4F-4594-9CE5-F748740DBA51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3c11dd4f5e8562a7579fa5f894672b041bb21507","datavalue":{"value":{"entity-type":"item","numeric-id":16315,"id":"Q16315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3591390$778F9896-D3F4-4784-B1C9-4366D0DCCD47","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":"Q3591390$EF099CD0-746C-4609-A6BE-AA9D665F1EA6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"552e79a2daeb4069a287e55e54bc2cf9888702c1","datavalue":{"value":"https://doi.org/10.1007/11804192_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3591390$514A3BF2-9D7A-439B-BC9D-D523AFA0EB1F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b76d7ba0e07ef1dec465d9b4e99356fbf5fa4344","datavalue":{"value":"W2139509279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591390$EE3F745E-5602-4957-A06A-066D1A6293A2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccedc3e28b0a17e72be8bd46d7c43af5d28225b1","datavalue":{"value":{"entity-type":"item","numeric-id":2431772,"id":"Q2431772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"263c0d5477e01f6d3c7d4a07ca45a6cacd7187e3","datavalue":{"value":{"amount":"+0.8708759546279907","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":"Q3591390$9C9B4C12-3E85-4906-80F2-19B99E50A171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df549e387ce2553bafc26407747ecf69e8cc55cb","datavalue":{"value":{"entity-type":"item","numeric-id":4474210,"id":"Q4474210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"508fbd9981dbb98596aad7ee09e20bf2663d21a5","datavalue":{"value":{"amount":"+0.8432589173316956","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":"Q3591390$607122A7-7427-4DB1-AD95-646693910990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"486d5c88d1a1e744d0ef79c863f6f0b287e1435c","datavalue":{"value":{"entity-type":"item","numeric-id":4531762,"id":"Q4531762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7a674966746377079368cedc5bfcba234655ae3","datavalue":{"value":{"amount":"+0.8347881436347961","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":"Q3591390$85348AA4-B1C2-4208-A062-F2DF208D9F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43656a7e9a0c827d6701594f8812ae8bd06d407a","datavalue":{"value":{"entity-type":"item","numeric-id":5492992,"id":"Q5492992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2fd07efe53205bc89942695703954f5d2c9559b","datavalue":{"value":{"amount":"+0.830814778804779","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":"Q3591390$A1B5AB7A-EB26-48B9-B386-74827B73EA19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22c938c52490761c8d79353b8e87f7869d7e6179","datavalue":{"value":{"entity-type":"item","numeric-id":5899033,"id":"Q5899033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc5905a95f1f0a00f191e7f161e90a37ba32dbf9","datavalue":{"value":{"amount":"+0.818795382976532","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":"Q3591390$C1C60174-8904-479F-B31E-B29E293D3644","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3591390","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3591390"}}}}}