{"entities":{"Q1176250":{"pageid":1186999,"ns":120,"title":"Item:Q1176250","lastrevid":42288543,"modified":"2025-06-04T11:21:27Z","type":"item","id":"Q1176250","labels":{"en":{"language":"en","value":"A note on model checking the modal \\(\\nu\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 13899"}},"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":"Q1176250$613704C6-BDAD-467A-AA96-74195D04DA49","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ecc43b966002d53743ecb29178d3debeadfe072b","datavalue":{"value":{"text":"A note on model checking the modal \\(\\nu\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1176250$2EA3878B-FEB3-415E-9AED-C1D5E39F496E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a9aee64fdcf6c93ef7e5ddf4e099e001b585888d","datavalue":{"value":"0745.68083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176250$38113EC5-82B8-419A-81DE-EE3BC057E269","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09b412df048ce32f2474ad40d933485af224e408","datavalue":{"value":"10.1016/0304-3975(91)90043-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176250$45FBEED9-B406-4BA7-88CD-67870AF148ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a31faab77501481f5eeb576293dcd59bdbba3a61","datavalue":{"value":{"entity-type":"item","numeric-id":265794,"id":"Q265794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176250$2F42EECA-ED3B-40DB-95D1-DFAFCD0B3601","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176250$60420B66-CBCA-49C9-ACC6-33782BC6E5D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1176250$E6FCEF4B-1BDE-4761-8C35-C9EA8CAB1190","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176250$4D7BEAC5-830D-4CE6-86CA-B23D72C19E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176250$883598BC-CF7E-4AC5-9E3F-4E4C6FCEDD6E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d04e7e8777f22a58bafa902bec78699065ec3be8","datavalue":{"value":"13899","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176250$EEB28F99-2051-4348-A0DF-738E3D0BFA7C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9347d0f114dfb7bcc6349e41b5dea0e6643d978","datavalue":{"value":"modelling parallel processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176250$E069FF93-F5CA-4335-80EA-A8C5C49EB48C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2496691daf8dd1c24f52f78fb5ff215d44fc935d","datavalue":{"value":"labelled transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176250$4E1E978A-FCC5-4B77-AB90-F6E1E18CE6A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176250$B7D7FDF8-641F-4DFA-AE62-3FCC883B5B50","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":"Q1176250$D6A08566-9A64-4FD8-BB64-4C1B918D0359","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0605ce4ca266b0fe19b37025a1022b8849df31e3","datavalue":{"value":"https://doi.org/10.1016/0304-3975(91)90043-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1176250$2455CDC9-31C6-4752-A5B2-F1C224D53B86","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d8a8344f9dcf80cc24bfcf8ad053f8c745476749","datavalue":{"value":"W2012841134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176250$522EF986-EBEE-4713-B245-31EAB8A7BD8C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"03e4c3801010a4bee6d03ee81a6a1a5d94252213","datavalue":{"value":{"entity-type":"item","numeric-id":3792217,"id":"Q3792217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176250$57CF9BF5-5E9C-41D0-B30C-246BA13ADA9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176250$0A02D49A-68A2-4CB0-B866-842A726DB65B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176250$C651DC41-93BA-4444-BFDB-466996679452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176250$CDD0FCB3-E462-4D0D-8E65-A789ECA1E886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c647fa1d172318cd49d05d4eb4fca603299b18b0","datavalue":{"value":{"entity-type":"item","numeric-id":911263,"id":"Q911263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176250$C7666140-09AA-4E55-AB68-6866C0E32454","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eba778d7781b4bbbaee63dcac407712bd61880e5","datavalue":{"value":{"entity-type":"item","numeric-id":3033311,"id":"Q3033311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbab897a6d3e720dc80b67e0eef4e13e205a07dd","datavalue":{"value":{"amount":"+0.9999999","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":"Q1176250$51AE5875-2845-4248-8912-4CC0F306864F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31f1b20dba2def1ffbc351f1c3bec44998a97713","datavalue":{"value":{"entity-type":"item","numeric-id":633088,"id":"Q633088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3761237aa8a21c2738210d4b6ec5ffa92e3f1eb1","datavalue":{"value":{"amount":"+0.9418653","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":"Q1176250$8E2C55DC-6270-4A0D-8127-DDF29B04173B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b416427a4304b1f4d23bb76171b3eb488a30d682","datavalue":{"value":{"entity-type":"item","numeric-id":5854737,"id":"Q5854737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbcce350ba33a6a909a40a3ed98faaa8960d3fec","datavalue":{"value":{"amount":"+0.9360721","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":"Q1176250$AA37EA12-E603-493D-B9FF-78B004A3E2D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45b0a50e466707129605d225106e5b7250c6fcc1","datavalue":{"value":{"entity-type":"item","numeric-id":4635600,"id":"Q4635600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c66241ecfe052449e305e9560b98c6b4d03b82fa","datavalue":{"value":{"amount":"+0.92445296","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":"Q1176250$38B147F6-0270-44E4-972E-C990B4B90551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14396cd9bd793a2ddf8fa5ff64e5c9589086b357","datavalue":{"value":{"entity-type":"item","numeric-id":5941205,"id":"Q5941205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"534841e541d705379112f0f635e72445648ef637","datavalue":{"value":{"amount":"+0.91185784","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":"Q1176250$EBA0A06B-A091-43A2-957C-069872648431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b372590df06dd31bbbf717ef217515a92785c86","datavalue":{"value":{"entity-type":"item","numeric-id":4353562,"id":"Q4353562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a4d7227d04b1e29895d9690dd0bc54b6b82a0fa","datavalue":{"value":{"amount":"+0.91130257","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":"Q1176250$DE3B34E8-DC27-421A-B69D-895EB932A6D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eb6256bad2c2f5fad3d464a16392ea9b77d5c24","datavalue":{"value":{"entity-type":"item","numeric-id":1177939,"id":"Q1177939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81bac9ba6278589704a0855c15527f14235170fb","datavalue":{"value":{"amount":"+0.905913","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":"Q1176250$252FA03C-0670-4F7D-905B-E65A03B5B909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe7cf0145f7ad4c0f49615e586f443eca9330418","datavalue":{"value":{"entity-type":"item","numeric-id":4914522,"id":"Q4914522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fcd12f6557335883ba002af54cb1b46486b79d8","datavalue":{"value":{"amount":"+0.90460247","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":"Q1176250$60397BA4-93AD-43E5-BAF6-6C92ADACBFF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11cc0591b33a0ccbed9d812374e44193e404935c","datavalue":{"value":{"entity-type":"item","numeric-id":3557851,"id":"Q3557851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fecb8a2ccdb4c881294239f7d9d64b35a34dfd14","datavalue":{"value":{"amount":"+0.90316606","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":"Q1176250$4D7F219A-C030-42E1-A874-D7A2D07401D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f906915a72bb3f81c3e387341a191491cb1f9bc","datavalue":{"value":{"entity-type":"item","numeric-id":3584967,"id":"Q3584967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"878530bd8afd1b57ec4e69562874846af877fb87","datavalue":{"value":{"amount":"+0.9018072","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":"Q1176250$741647F3-8CD7-41CE-9BF9-28131F48D477","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1176250","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1176250"}}}}}