{"entities":{"Q4316304":{"pageid":6345905,"ns":120,"title":"Item:Q4316304","lastrevid":46287597,"modified":"2025-12-24T11:58:40Z","type":"item","id":"Q4316304","labels":{"en":{"language":"en","value":"Modal Logic, Transition Systems and Processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 700485"}},"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":"Q4316304$0C6D21DB-C5D4-42D8-B2AB-64B540E9E775","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"19bb594d92d85bc90e4a03b8d47121d320de5611","datavalue":{"value":{"text":"Modal Logic, Transition Systems and Processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4316304$647DB314-DD30-4F73-A4FE-C4E4A9608222","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a4b0134995f478ae3da2f8efdd13511ba0b4ad90","datavalue":{"value":"0817.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4316304$C7557714-DF15-4748-A453-9B7D49F8AFEE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4d30f3a2f26d23423d765b4d1925d27a0413ee3","datavalue":{"value":{"entity-type":"item","numeric-id":195248,"id":"Q195248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4316304$137BD7F6-B90E-4E4C-8A02-4B82D797855D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"23cf142406287d1bd9ff829a9eead3b1cfc7e77c","datavalue":{"value":{"entity-type":"item","numeric-id":1595917,"id":"Q1595917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4316304$079DB4BB-33E9-45AF-B5A3-F89C7164678A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a16bed3fcf9befde6b615ead23f4b855455a9900","datavalue":{"value":{"entity-type":"item","numeric-id":1246519,"id":"Q1246519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4316304$A2DC3E1C-FD9D-4FA4-A5D7-DA6D8C388C49","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f10d7194b100e4c4c75e9550986cbe7d06f54b","datavalue":{"value":{"time":"+1994-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4316304$7F6F7759-4ACC-4496-8879-A93EC9F000A6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"62b8f78f23f38aff89d4cf8eccef9b9393c68a3d","datavalue":{"value":"https://semanticscholar.org/paper/aa93c64a3b9e9918586272efc590e024f3a2866d","type":"string"},"datatype":"url"},"type":"statement","id":"Q4316304$24CC60FE-A5B3-47FC-84AF-3C52ED334A03","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e29386ab56309ff8c722c73f426840ab86db1881","datavalue":{"value":"03B80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4316304$0F1A79AB-4163-48C0-9D12-5DB63DA96F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4316304$98D8F005-483F-40FE-9E7E-726E4AC91231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"02303c61036060136df3f7b7e22c52163746633f","datavalue":{"value":"68Q99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4316304$34BF3AFF-F8CC-4912-96E9-A4FB6CA882C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"932d578e2d08419b34b63aea933874715af6871b","datavalue":{"value":"700485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4316304$FCEAB5C9-60D7-43F7-85D1-AEF366BBFA85","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4316304$80B3DF03-8839-47A2-90AE-915424F55802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9408546ecb33d5fe54dbb1dbe82b7a513b60f62","datavalue":{"value":"transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4316304$FA4C925E-9C04-4275-84A4-41ECE01370AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db2c4226e8e86e1e1f02cc5ead167f218ce71434","datavalue":{"value":"Kripke structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4316304$6569A8F9-A400-45A7-8916-81FAACE1ADC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4316304$E226B0C1-598B-47D9-AFA7-EAA205F86417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4316304$F06A2A54-77F5-46C6-9B89-4454A2ADBB6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4316304$9CAE4A5A-7F32-4412-96D6-4DC7603A0CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1f77c1c3252638542fdd032303a3ed000205e90","datavalue":{"value":"concurrent PDL","type":"string"},"datatype":"string"},"type":"statement","id":"Q4316304$C29F6C20-12FD-438B-BEBA-C8134CB29130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4316304$EB2E1368-362B-4696-AC08-7EEB82FDFC16","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":"Q4316304$170D3FC5-6C9C-442C-B800-40E40FEDC939","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aad9d27291dd789b82c8c8da476208744f51f34b","datavalue":{"value":"W2166216406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4316304$72EAA2DC-2B98-4EAF-AF7D-8BD134A90FCE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"96a1e0df37a3acb0b51e106e03cc5bea99436c99","datavalue":{"value":"10.1093/LOGCOM/4.5.811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4316304$4151F45A-AF83-4D43-BA73-BBBFE1C5F5F5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4316304$0876A77E-E892-4AF7-9128-9AD6133D0575","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67bed80202705ad0f26e21085c20d24617df91d0","datavalue":{"value":{"entity-type":"item","numeric-id":1895974,"id":"Q1895974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a632c6a3201981502b2e876ab978877054ff7295","datavalue":{"value":{"amount":"+0.8259332776069641","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":"Q4316304$963C9BBE-1AA7-4E4B-80F3-0CF0124ABEE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d4d7fde564486c6ccde9a3cf2d6afade6863141","datavalue":{"value":{"entity-type":"item","numeric-id":4289659,"id":"Q4289659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"982f7db9aec7f058baa513efc3132115da3ca113","datavalue":{"value":{"amount":"+0.7995577454566956","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":"Q4316304$FC565226-9001-42F8-B45B-C67BE9D24356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b13fbe63f630451e523787abea34522ae1b7b4a","datavalue":{"value":{"entity-type":"item","numeric-id":5856409,"id":"Q5856409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79bcbf8c8833ed15f1de5fd326eca90fdc82cf8e","datavalue":{"value":{"amount":"+0.7847155332565308","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":"Q4316304$6A86A755-D5B1-453B-A147-BEE47051A7E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"936dd111760f9187a1d0067c171b0e3933072ce6","datavalue":{"value":{"entity-type":"item","numeric-id":578896,"id":"Q578896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eed1821b7eac088070322f2f0dfe64839e777a9a","datavalue":{"value":{"amount":"+0.7846709489822388","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":"Q4316304$32EECD78-DDC0-48DF-A953-4480A5C1D7D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4316304","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4316304"}}}}}