{"entities":{"Q3076605":{"pageid":3087321,"ns":120,"title":"Item:Q3076605","lastrevid":45399385,"modified":"2025-12-07T04:23:22Z","type":"item","id":"Q3076605","labels":{"en":{"language":"en","value":"FORMAL VERIFICATION OF <font>P</font> SYSTEMS USING SPIN"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5856480"}},"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":"Q3076605$7B0D8E49-973A-4F89-940E-17CE4B47FCD8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e262d900b075a1acfc4a9b30502fea821be260b","datavalue":{"value":{"text":"FORMAL VERIFICATION OF <font>P</font> SYSTEMS USING SPIN","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3076605$2239C62B-165D-4DB9-BAF6-DA37D383BEE3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da000e8b39015c581eeae0b65f561c8a9df020e4","datavalue":{"value":"1213.68273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3076605$1D7DC7B3-E016-46BB-BD34-2DF10FE5D178","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf68eb45465c744e7886aaa447cd36d2f3edab79","datavalue":{"value":"10.1142/S0129054111007897","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3076605$FF478D92-DC10-4274-85C3-4D629304390A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a780ef79608749556230cbbde02f78eda1ce0cdb","datavalue":{"value":{"entity-type":"item","numeric-id":204589,"id":"Q204589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3076605$902CE32A-9704-4A39-BC17-B5FF51A9EC13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da05053fca1feec683a093fed96af154fa0c3ffa","datavalue":{"value":{"entity-type":"item","numeric-id":537816,"id":"Q537816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3076605$8B6F2BCE-5251-4D04-AA16-8567BC987AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1467e48a8ae58e53ec841e3b0170bd75cd7f34c5","datavalue":{"value":{"entity-type":"item","numeric-id":2890293,"id":"Q2890293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3076605$B1CD8CFD-6B84-4286-9512-1B0909DBC140","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3076605$39740E92-6990-4DF4-A5B1-048904974C4C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c71e983296ad326dc4fa98508eb39645fa4e4bbb","datavalue":{"value":{"time":"+2011-02-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3076605$0651C4D6-79BA-44D6-90B4-63F402CEA50B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3076605$6E0E101E-AED8-4C33-83A5-79B831188DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3076605$EF6B7F69-3D04-4B89-BAB9-7295D3CC8389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3076605$EB9B9596-816F-4470-9C16-8CD626B7A1CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9bad1687b271cda579776d8a52e292b9e2721398","datavalue":{"value":"5856480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3076605$C2793FD4-A6B3-4067-8E57-B31A703D1318","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55eb0d5986f8944e47b6c4de2a3c0fe981c1866a","datavalue":{"value":"P systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3076605$1FC71DCF-D968-4E27-8E54-CDE4AD45862B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"000d054838ba79f1c83227281d29722f07d85a76","datavalue":{"value":"Kripke structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3076605$8827827A-F93A-4FC2-8BAE-BBAF0D0538CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3076605$D1A40B70-CF4E-4776-9364-97C2342EB529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccb8e4454b897e5d2626bab3ddf5c7ece558c11d","datavalue":{"value":"Spin","type":"string"},"datatype":"string"},"type":"statement","id":"Q3076605$F6C7E1CE-211A-4F55-B158-5A4665F09D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d233eb87dc02a98a4f280d0e5c15621e65f027cd","datavalue":{"value":"Promela","type":"string"},"datatype":"string"},"type":"statement","id":"Q3076605$79DA6265-DF15-4A15-8B1C-92B08EEB2103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33e6e7fbc044e24a636f416a29bbfa6df53e6435","datavalue":{"value":"NuSMV","type":"string"},"datatype":"string"},"type":"statement","id":"Q3076605$728760A5-68CB-426D-9CFC-CD0C6F227719","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":"Q3076605$4B87D068-BEDA-478A-8B43-B2E7798C729A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"07c77124a102677321b49e780d83d2e468dd9d6a","datavalue":{"value":{"entity-type":"item","numeric-id":19657,"id":"Q19657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3076605$E6BC52DF-9918-4821-A31F-C072C655990E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"36c9d6fcaf477a579c7792b357595ef21fc9cc19","datavalue":{"value":{"entity-type":"item","numeric-id":19660,"id":"Q19660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3076605$80A005EB-DB8E-44E0-80F9-78F315330420","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":"Q3076605$3965E64A-9455-4FC0-9EFB-7670FD8B06FD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d52ac13fddfe2dc0c6676e5b4f8c299aff04944","datavalue":{"value":{"entity-type":"item","numeric-id":5452300,"id":"Q5452300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3076605$C4CE8E4A-AE1D-4682-B479-68EFBAF5CA0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f0618ab971b1402c4c34251dffc850ea86689a4","datavalue":{"value":{"entity-type":"item","numeric-id":1856168,"id":"Q1856168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3076605$810A11A4-363F-4038-8CFA-F355263A9BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6653c5406f14270e4acdacd87da86eee948f4b6","datavalue":{"value":{"entity-type":"item","numeric-id":987969,"id":"Q987969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3076605$9E494EE1-1439-41B4-A69C-BCF4B18BEFA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dc715e27156280a138563a00f62c383872123ed","datavalue":{"value":{"entity-type":"item","numeric-id":1582013,"id":"Q1582013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3076605$6234EE4D-13D5-4F21-B4D3-CD23B28A7B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70e5e7f39999d20b09b0926870945a4d1df90df2","datavalue":{"value":{"entity-type":"item","numeric-id":2655236,"id":"Q2655236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3076605$12E7E9E7-A0E8-4377-8AAC-F7A9DFD39AA2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"56a81f70ccc4f832d804ebf39bd5fcaeb2cf5170","datavalue":{"value":"https://doi.org/10.1142/s0129054111007897","type":"string"},"datatype":"url"},"type":"statement","id":"Q3076605$80C761F5-5BD8-4CC8-8BC8-D0045162E9A4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"53bb54fb3300fa396fffc990df52d3a3fa61280b","datavalue":{"value":"W2093659328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3076605$66F7DC8A-D366-40F0-9535-A88A78D8CCB9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bb822faae3ab7ef53c5c1e4daf8bc32ed3e8643","datavalue":{"value":{"entity-type":"item","numeric-id":3067494,"id":"Q3067494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e06bab30f52cb93f28940549ddf50508fa36b86d","datavalue":{"value":{"amount":"+0.8896826","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3076605$1E8E5F56-DF21-4369-B615-3421F7135EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53cde014614d082b76b974c11a81e4b430703551","datavalue":{"value":{"entity-type":"item","numeric-id":5851898,"id":"Q5851898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"331445f97b5871de92cd864f99b050f6c5242c45","datavalue":{"value":{"amount":"+0.88830245","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3076605$B593255E-4CC4-4B0F-8A7D-1C7E43103535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"161e6a86adffc14a091f92809d0baeb11758326d","datavalue":{"value":{"entity-type":"item","numeric-id":4531763,"id":"Q4531763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62e2085ed22abc4fe392609651779e83e4581e6c","datavalue":{"value":{"amount":"+0.870294","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3076605$78F3E667-8CDB-4AF5-AA10-2AEA08FEB1FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fb8b42077d89ace80afe9f72fce030aa566f99f","datavalue":{"value":{"entity-type":"item","numeric-id":4995365,"id":"Q4995365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd7d42cbf2d95a00844d1f6956e7862ae189e92c","datavalue":{"value":{"amount":"+0.86491954","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3076605$4F9C76E4-3FD1-4EBA-851F-E5BE005452F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94f01d742923cf7fa04a778e068dd9b7565a7fe3","datavalue":{"value":{"entity-type":"item","numeric-id":1982961,"id":"Q1982961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1784cdbfa7796316b83191c3c1b70cb78a63a5b3","datavalue":{"value":{"amount":"+0.8549197","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3076605$6341A1FD-D191-42B2-AA89-94DAA0787DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5236349e552a7f406e64cad42515775a0f1be120","datavalue":{"value":{"entity-type":"item","numeric-id":5404843,"id":"Q5404843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3ccf53bd65421dc30143f8236620328a1faf3aa","datavalue":{"value":{"amount":"+0.8534293","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3076605$992F207F-FAC6-4E3C-BABD-611D401AFE6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4334adc3bdc9cba5c11300bca11ac7499fb609e","datavalue":{"value":{"entity-type":"item","numeric-id":5899051,"id":"Q5899051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"274216aeec0156e8f1f45b7b61802e88bc18bac4","datavalue":{"value":{"amount":"+0.85268474","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3076605$00259B2D-890A-4FF5-AEBB-4AD625E33652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af49d45164edc09f259c4b413693465371a5b8f3","datavalue":{"value":{"entity-type":"item","numeric-id":2753757,"id":"Q2753757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"128315e8c91989a07b808ad78874380b95a86ca9","datavalue":{"value":{"amount":"+0.8482703","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3076605$EF73997E-565C-485A-8EC1-C239AFA976A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3076605","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3076605"}}}}}