{"entities":{"Q6485892":{"pageid":14064550,"ns":120,"title":"Item:Q6485892","lastrevid":47792416,"modified":"2026-01-02T17:14:54Z","type":"item","id":"Q6485892","labels":{"en":{"language":"en","value":"Parallel Graph-Based Stateless Model Checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7636256"}},"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":"Q6485892$618F1551-9DC4-4CFF-A443-BD430AE39796","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4a64f25c822eb834e08b4382da18bdb768ec98da","datavalue":{"value":{"text":"Parallel Graph-Based Stateless Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6485892$45708E6A-13AA-4592-9846-B746D908AEE3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"468828aaca60cc04ad1b8b810abe7d02012acf58","datavalue":{"value":"10.1007/978-3-030-59152-6_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6485892$28E54355-CD59-4614-BFD2-C749AECA3178","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc6961189a0cb58a3578cfc2a5811929287e8624","datavalue":{"value":{"entity-type":"item","numeric-id":2324229,"id":"Q2324229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6485892$C865CB3E-8C98-4F65-A97F-753FAB9C6874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba6a5352415e5620331ed484966e52e3a16a0b01","datavalue":{"value":{"entity-type":"item","numeric-id":1683933,"id":"Q1683933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6485892$5C3C2849-D3B5-46AA-A21F-FC0F1255F6CC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7cfc176adea55e699b582f522f75db41729a1f8f","datavalue":{"value":{"entity-type":"item","numeric-id":6485891,"id":"Q6485891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6485892$249BB6D9-D007-4644-9B69-C65D5DB0E013","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2d72aad3ff4fb8b75fb496fbab59efd49871a44f","datavalue":{"value":{"time":"+2022-12-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6485892$D81F8C40-97EA-4601-AF87-0A0D4C524F3D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6485892$798F4CDA-CA8B-4408-9B22-2738EF976D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6485892$3F2ADD44-BAB9-4C46-B4E4-DCCEAF7B198C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"43c83fc64f8f2fa65512903cb69ad1529912b771","datavalue":{"value":"7636256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6485892$50D381E7-8DCA-495B-815F-4F6661D5C90D","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":"Q6485892$BF20763F-8A52-4AEE-8DBF-2F8419C7E60F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"729f77e27974bf397283f0d4178d5d8f58588486","datavalue":{"value":{"entity-type":"item","numeric-id":832184,"id":"Q832184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3873580f9ef2251fca2409fbd71c2f3ab5d2d7f8","datavalue":{"value":{"amount":"+0.7847297787666321","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":"Q6485892$0570373F-B7C5-4953-A368-D092E51F45F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0ea8c1abcdcc16379f5e42cf90307b9e3da207f","datavalue":{"value":{"entity-type":"item","numeric-id":3069999,"id":"Q3069999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fbd379c876aa09daef4ed7b13cdb533e4529752","datavalue":{"value":{"amount":"+0.7617999911308289","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":"Q6485892$300AB3FE-43F3-458B-A88D-2D0056DF701C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9954ea1d28805b9738b939356c11793297b41ca4","datavalue":{"value":{"entity-type":"item","numeric-id":5194963,"id":"Q5194963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"447b658cc374d348c807c1300cf279898ff42d0e","datavalue":{"value":{"amount":"+0.7612780332565308","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":"Q6485892$2C1EB99A-A573-4AB5-B65F-BCB2B828AC27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f5ff332ca4e4ad7ec376f063f96d1787eecaca8","datavalue":{"value":{"entity-type":"item","numeric-id":2842857,"id":"Q2842857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc5762e7fef8470e206d064e98b171501e04c577","datavalue":{"value":{"amount":"+0.7562249898910522","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":"Q6485892$066C4957-6061-42B3-956E-DF91F62560DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c86ca2e78cd7acad5e47625e664f6700c9aa37c","datavalue":{"value":{"entity-type":"item","numeric-id":4649304,"id":"Q4649304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89089d61b962328e9158be077f15bc71cda9b636","datavalue":{"value":{"amount":"+0.755134105682373","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":"Q6485892$9876B822-290C-49D5-9E08-9C53B23DC797","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6485892","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6485892"}}}}}