{"entities":{"Q1295873":{"pageid":1306623,"ns":120,"title":"Item:Q1295873","lastrevid":67301748,"modified":"2026-04-12T16:42:17Z","type":"item","id":"Q1295873","labels":{"en":{"language":"en","value":"The sh-verification tool -- abstraction-based verification of co-operating systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1309028"}},"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":"Q1295873$01CEED6B-7ED9-470F-A02B-908BD660A967","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c436571c4197281191341fae5a84307c6acc37fe","datavalue":{"value":{"text":"The sh-verification tool -- abstraction-based verification of co-operating systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1295873$F32FD1F1-1BBE-485E-B735-4D79834B77DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"09b4b078957319c9c0ef3f6dab1902a1f0023ce7","datavalue":{"value":"0934.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295873$80B8890D-6597-4718-B7CD-282F958CB747","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf4b6634f9632469bbdc1cbe8731de7c57eaa30a","datavalue":{"value":{"entity-type":"item","numeric-id":1295870,"id":"Q1295870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295873$478DDA59-C659-4C01-B9FE-D049DCC4B379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"317160eba563575f073ac799d2f377abacd3238e","datavalue":{"value":{"entity-type":"item","numeric-id":673347,"id":"Q673347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295873$12D23A29-8D81-416B-9A35-3D63B01A40DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ee723769442243cde1ab3dc939096468f1ac574","datavalue":{"value":{"entity-type":"item","numeric-id":2353688,"id":"Q2353688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295873$A12CE337-793D-4F10-BB3A-F6BB8C7E535E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"feef4769d934a8edb6a9932b3aa3bb1f73d03f11","datavalue":{"value":{"entity-type":"item","numeric-id":673346,"id":"Q673346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295873$BD4B44B5-D68A-4C2B-B7AC-54792E7A3543","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295873$167FC733-4D6D-4FE2-8443-A63BB54C51A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a30f3ecf1847a8a0876852c07ed0d9f2b4496a6a","datavalue":{"value":{"time":"+1999-07-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1295873$BC6A29D9-BF27-4549-8E94-E71DD3883D14","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295873$BBE2BD85-DC46-4E3B-9811-3DC8540864E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f0f207b8a6c5b3bb5dc944e48ccf0c35d32895b1","datavalue":{"value":"1309028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295873$1A64A4E6-20A3-4AE5-821E-F668FEB35E3D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91557b12ce7cc6f3d75ebf29772c82920dbd728a","datavalue":{"value":"sh-verification tool","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295873$D7B51117-4059-412F-A6E4-AEF797F8DB10","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":"Q1295873$0109379B-318E-46BD-BBB7-D9EE95CE3ED4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e330613e286260668ffd778033910117de71be37","datavalue":{"value":"https://doi.org/10.1007/s001650050023","type":"string"},"datatype":"url"},"type":"statement","id":"Q1295873$211ADD90-543F-4CF1-AC14-FCE8814D2DB1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"268693e8199800f3505c8fe63810932a532535e6","datavalue":{"value":"W2031354738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295873$494ABD89-818D-45A0-B28F-FEE40DD16BF0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e0ed370ea7e170531c0304a16db0ea7369b723dc","datavalue":{"value":"10.1007/S001650050023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295873$C3083CB0-7896-48AB-9D29-0D421556B242","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1aa0c1d5ae5d86f00d4e12851e0e4f62fb2b183c","datavalue":{"value":{"entity-type":"item","numeric-id":4783359,"id":"Q4783359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cde47327610dc0775b4abfa51a124344cb2dc170","datavalue":{"value":{"amount":"+0.8746248483657837","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":"Q1295873$910EBBFD-A3A4-4AC8-ADCF-0E81429EC8A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a76b3577a7618bb02f9806580f51d2b7da93b94","datavalue":{"value":{"entity-type":"item","numeric-id":5900551,"id":"Q5900551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b26a9d188e7c42e304a43a2d92ab2c46fc94b3a7","datavalue":{"value":{"amount":"+0.7496312856674194","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":"Q1295873$6666FD35-4D4C-43D2-B7DC-65B9F8498639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6adc5b070698e5862d99d42f282a3b5f3015838c","datavalue":{"value":{"entity-type":"item","numeric-id":4532076,"id":"Q4532076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b984eb90bf31d28ef28dc143c5ebe7480d58cc4b","datavalue":{"value":{"amount":"+0.7382271885871887","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":"Q1295873$77FC5689-225D-4656-8CF1-D926F1AE5D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d4107fd8b3d3ace2ebb9c459e1e4acd9cb07be5","datavalue":{"value":{"entity-type":"item","numeric-id":4326390,"id":"Q4326390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63cbe93eb98289a11b1d6fae63104c7a3d1d9151","datavalue":{"value":{"amount":"+0.7325612306594849","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":"Q1295873$56752DDC-9C98-423B-8A08-238FA36CC8DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The sh-verification tool -- abstraction-based verification of co-operating systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_sh-verification_tool_--_abstraction-based_verification_of_co-operating_systems"}}}}}