{"entities":{"Q3327707":{"pageid":3338415,"ns":120,"title":"Item:Q3327707","lastrevid":48715432,"modified":"2026-01-05T17:01:56Z","type":"item","id":"Q3327707","labels":{"en":{"language":"en","value":"Looping vs. repeating in dynamic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3860377"}},"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":"Q3327707$EB8E06B3-2F9C-400D-8CC9-3D31BD429A59","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4b82355474bc3712a79be86c5a84b684f783d5cb","datavalue":{"value":{"text":"Looping vs. repeating in dynamic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3327707$1BE18E8F-BE81-4F2B-A71D-0F69F781B27F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd697e9eb6b9cc9d4e2af5949543d03d93f6d8e7","datavalue":{"value":"0541.68010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3327707$D23B4D5D-A930-427D-A495-939E75160EB4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bccdd90cd9c4489c982515875516e79f43a0ecb1","datavalue":{"value":"10.1016/S0019-9958(82)90553-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3327707$284DB1A5-ECA8-4CEB-8CBB-3287ED591EFD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4434820098e3b6c980c31814818af7c68f56bd22","datavalue":{"value":{"entity-type":"item","numeric-id":2832035,"id":"Q2832035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3327707$5419A902-EC29-454A-8C86-284AAA82FB0C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3327707$35098FAC-33B4-44AB-8B81-E82FC98F81C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3327707$ADA80DDB-212C-430C-BD6B-76A2B850DD8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3327707$B4283C83-6FD6-4B0E-B8C9-600253DC2E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3327707$134A7ABC-4659-48F2-BC54-20DAC59CC81B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3327707$F2132165-C6E9-486B-832D-72961A123073","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"856523df04510b0712f98bd0821a7a676420607e","datavalue":{"value":"3860377","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3327707$A2C105BB-4427-488A-9DFE-6FFE91FCC1B0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb8d04c869a7c957a2fb637bf61f6c6b39fe9a39","datavalue":{"value":"regular expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3327707$8E0B5EC0-ACA1-48F5-A39E-01352F98C458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d991e63a90f3eab03d4d7492fce68095235234a","datavalue":{"value":"loop","type":"string"},"datatype":"string"},"type":"statement","id":"Q3327707$F4C7C451-DE93-4DD0-8816-892AEE038B1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05d625df523862ce7b47089d0478cb9bf8c85189","datavalue":{"value":"repeat","type":"string"},"datatype":"string"},"type":"statement","id":"Q3327707$C520F152-4315-4924-87F1-D7E635C9AFF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b707188f6070cca68fd2684c8daaebbc3b6804d","datavalue":{"value":"relative expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3327707$7F196175-111F-4922-AACD-F558C3D7B0C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e512a0f7238f85e9837d06dae5cbdcc670fc14e","datavalue":{"value":"extensions of propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3327707$5FBC5172-9BB2-4724-AAA5-25D88317BB89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40eda1ce33b3fb5cdbf6c2f4080f26c9b02f7faf","datavalue":{"value":"infinite computations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3327707$B2B4C22B-2D54-4BA8-95FB-036785DAB561","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":"Q3327707$B0C43040-CF15-4905-AE70-19F7FBCD6573","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4d50b7cbd011c2a9fb8a77d466f1043df7de1010","datavalue":{"value":"https://doi.org/10.1016/s0019-9958(82)90553-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3327707$F1AD2F3C-F2DF-4FE1-A06A-610E795B0150","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a85a292bd8f41e6e0124da3a58b7f4bb7a1c058a","datavalue":{"value":"W2041398371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3327707$89C63CC6-D477-4ADC-93E4-8A6764B96570","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88cbdd37ea54455c1bdddd06cad3f958c1546ccf","datavalue":{"value":{"entity-type":"item","numeric-id":2265813,"id":"Q2265813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48d22edd7813903d72837614cdb7d1cc4892725f","datavalue":{"value":{"amount":"+0.852672278881073","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":"Q3327707$BFD39562-BCB3-4C26-9B06-2F5A5FAFE912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b742c98ff4e0010d485574fa68aec43df1d78c2d","datavalue":{"value":{"entity-type":"item","numeric-id":4694253,"id":"Q4694253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c19b9363ec07323d723e5d830fa03798f333ba7","datavalue":{"value":{"amount":"+0.7967430949211121","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":"Q3327707$A0D910AB-454A-4CA7-A721-7C13BE05A6F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c47ea99c5c5c04c9a31e0787dcd731a67128228e","datavalue":{"value":{"entity-type":"item","numeric-id":3740224,"id":"Q3740224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c19b9363ec07323d723e5d830fa03798f333ba7","datavalue":{"value":{"amount":"+0.7967430949211121","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":"Q3327707$E898D9B2-AC69-46EC-AA42-6DCFAF2A4F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95013d083cc7ba96602397042eb990a33dda3c74","datavalue":{"value":{"entity-type":"item","numeric-id":3345771,"id":"Q3345771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec8f17a7a2c3aca0774718d36d973f64e457c577","datavalue":{"value":{"amount":"+0.7844825387001038","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":"Q3327707$E9C6104F-1196-405D-ABDA-B1ADD2E86C49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc0fa55d5312a1d70d4a3e8917164edba8e2a018","datavalue":{"value":{"entity-type":"item","numeric-id":3760521,"id":"Q3760521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31566fc2c19695606ecc93554ac87165d931e1bf","datavalue":{"value":{"amount":"+0.7685525417327881","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":"Q3327707$6DEC1185-AA71-4CD2-9F0E-BF7AB492BB5B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3327707","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3327707"}}}}}