{"entities":{"Q3179415":{"pageid":3190123,"ns":120,"title":"Item:Q3179415","lastrevid":86608586,"modified":"2026-06-04T02:49:14Z","type":"item","id":"Q3179415","labels":{"en":{"language":"en","value":"Propositional dynamic logic for Petri nets with iteration"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6667721"}},"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":"Q3179415$9003B48D-220B-4500-8E1D-3289821A65E9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e270e46c353be25ea5037555bab55f58a470f7da","datavalue":{"value":{"text":"Propositional Dynamic Logic for Petri Nets with Iteration","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3179415$E02AC11C-B176-42AC-82AE-E13D2282F97F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f8d5dae5e4a7f9b71040afc2a5e46c4947e7988","datavalue":{"value":"1401.68219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179415$8DCFA204-21F8-46CE-BFB3-9040101B33D0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d8d44d5546e84f91e32c5984cb7004c4656dc71","datavalue":{"value":"10.1007/978-3-319-46750-4_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179415$E0931958-88BA-478F-8E9F-920D95ECAD5F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9faf035fd863b205682c8dda962765b1be375dd4","datavalue":{"value":{"entity-type":"item","numeric-id":281143,"id":"Q281143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179415$700B3A02-B68E-4EF2-800D-CD9D64AA18C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"523eb1c9f92e29e52a82edbd2df5947e22806cd3","datavalue":{"value":{"entity-type":"item","numeric-id":281153,"id":"Q281153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179415$1BF5247A-4F86-422A-B5DC-61B8A492727D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"63d9233b42254158160c8d5be21064a25b66fbf1","datavalue":{"value":{"entity-type":"item","numeric-id":489209,"id":"Q489209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179415$69654902-429B-4DA7-A5ED-35EE9E258A81","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"96b799bc507f1a598de85f391b2f2fb813846caa","datavalue":{"value":{"entity-type":"item","numeric-id":3179386,"id":"Q3179386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179415$33AF5DB5-DC0B-4072-BEE5-CF0E70D4C628","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3828a03a027ab495f54f036846c4548856b1f3df","datavalue":{"value":{"time":"+2016-12-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3179415$A6C53B96-67E4-49ED-8F5D-D671388372C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179415$614B14B8-DED2-4E2A-958B-FEA150F7E2F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179415$EDD77EA2-A74B-48EC-BED1-6ABF2695AB47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179415$A52917FF-CD2C-4E60-A3A8-B4518C64B20D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c9e27179f905b311966098d54df87e81107955f2","datavalue":{"value":"6667721","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179415$E8BBFA45-4FDA-4303-B751-6774EF875006","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3179415$4679E0BE-89CE-4349-A746-FDD360365586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3179415$EC785562-193E-4474-A099-6A86442E0197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3179415$211F0230-24DA-4300-92E9-9637E0435100","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cc4ca1f0251ce41d51aab35917b52c65e3758b69","datavalue":{"value":{"entity-type":"item","numeric-id":26975,"id":"Q26975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179415$E988ED55-5243-41AB-9DF2-CEE12B609EF8","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":"Q3179415$9577F64E-B9E0-4B12-84B8-94C99B34AF56","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"36d7dcdf38ecc1d101522a706b0013af085ed1a1","datavalue":{"value":"https://doi.org/10.1007/978-3-319-46750-4_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q3179415$5993FE00-8AB2-4129-8493-693D14402B47","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5e08588e5eead7a2543c69ccb27e4866c69864f6","datavalue":{"value":"W2522308137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179415$97A28727-BA8A-4C8B-9E71-CB7C5B56F96C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e23100ee15abd5423a393a8fc786da512b3eb97","datavalue":{"value":{"entity-type":"item","numeric-id":3643256,"id":"Q3643256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179415$0018BD54-EE52-48F6-9294-560B1CC1759B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9b78e5cb84485f9815bc0326cef83c61d97bce1","datavalue":{"value":{"entity-type":"item","numeric-id":3511450,"id":"Q3511450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179415$E060E1D3-22B9-4FDA-A898-40EB1781D3F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179415$DA0DF634-3887-4C2E-B799-9157F8ABBCAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed87277ae731c132ab208b93d82b5f409042581a","datavalue":{"value":{"entity-type":"item","numeric-id":2798046,"id":"Q2798046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179415$8F888158-1036-4B8D-82C4-091479A32EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26397b126545fbfece88c979577fd04b9673081d","datavalue":{"value":{"entity-type":"item","numeric-id":1058847,"id":"Q1058847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179415$59EDAE97-FAA3-42FC-B6FA-5C3E4D794244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179415$7CB947CF-2328-4E1E-AD7C-1933E77B91F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b533b2bc04d6033c9636f1b8a0113dc5a63f8746","datavalue":{"value":{"entity-type":"item","numeric-id":4694250,"id":"Q4694250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179415$F15EC1FF-D517-4908-95B0-9618785EF3A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c828766f544d12c1b296a8e13167a15c2a6b818","datavalue":{"value":{"entity-type":"item","numeric-id":1207436,"id":"Q1207436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179415$2A3A8AAD-2801-4530-AE1D-BCE16C8A01B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80ab2d8390145c5151ca35ad49ab39837a18a8d7","datavalue":{"value":{"entity-type":"item","numeric-id":3137712,"id":"Q3137712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179415$79437444-535A-41D7-8958-07454A09009D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179415$E8F1587B-4281-48BF-B3B5-DBA04D773754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06d570659bbdd39689a0f1f75198c748317e7669","datavalue":{"value":{"entity-type":"item","numeric-id":1903081,"id":"Q1903081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179415$C7DA8C3A-0610-4EF4-86A2-64633DF787EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efea0cb6fd0b89c60672609cf98a61fcdf693a9d","datavalue":{"value":{"entity-type":"item","numeric-id":2643333,"id":"Q2643333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179415$FB762EB2-70E7-4890-813D-17E172C3D134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b760176cd64eb25e121f74c62f381a07ab10480","datavalue":{"value":{"entity-type":"item","numeric-id":281154,"id":"Q281154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179415$E06FAD17-9DB7-4C53-8BF2-5DF247C6C354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bc04b441aa9601b246021f0a8e69e8277ce6359","datavalue":{"value":{"entity-type":"item","numeric-id":909653,"id":"Q909653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179415$24E96CA4-C2CC-4272-8A88-F917262D8D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98303962c5d0df53d7b0da3efe47e756e2d60e72","datavalue":{"value":{"entity-type":"item","numeric-id":3957925,"id":"Q3957925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179415$BE1BA07F-6E4A-4C1D-B2DB-23CDCA218D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2857e2ccf7c4a647101d2799fa5b5bcb5648fc35","datavalue":{"value":{"entity-type":"item","numeric-id":3787981,"id":"Q3787981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179415$E95DC632-1CC2-4D80-891D-2CCF320C3D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35b8dc51fead714b2181fe77a23d97d81b23def7","datavalue":{"value":{"entity-type":"item","numeric-id":1095653,"id":"Q1095653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179415$E3499AC9-2506-4675-AD0F-B1152F8BD3B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"288b54d551ffd067e778b04ad80f093ed7ac77dc","datavalue":{"value":{"entity-type":"item","numeric-id":3475251,"id":"Q3475251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179415$F6EC9B64-5D63-4051-9924-6909E4F6AF22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aed2dfc7d8b6deb6c6c2fdd95458000b0da91712","datavalue":{"value":{"entity-type":"item","numeric-id":5523291,"id":"Q5523291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179415$E513DF8B-5FD8-4345-AD40-886D8F405BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46e8651d42ea7152b26ae0b9910092681b17dfb8","datavalue":{"value":{"entity-type":"item","numeric-id":4325792,"id":"Q4325792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179415$CB764168-B03E-4D03-9342-D267878E9DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48e851c5380a2b1703132dffe3ce2f30a1f0b9e3","datavalue":{"value":{"entity-type":"item","numeric-id":2782498,"id":"Q2782498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179415$779E4997-2086-420B-B11D-7CD395F0FCF2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12a9ea80679e044562499fd04606c455ca135080","datavalue":{"value":{"entity-type":"item","numeric-id":1786561,"id":"Q1786561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daedcaccaa82df670b8111e3cb757e3ac4c10533","datavalue":{"value":{"amount":"+0.9308815598487854","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":"Q3179415$30456DB5-C83A-47E4-8919-039D001B0B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9196921b2f767400fd8e135a2d1aa1284207a3b","datavalue":{"value":{"entity-type":"item","numeric-id":4644609,"id":"Q4644609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e215110db0210be38f1035aa90eebda0aa5e8b2","datavalue":{"value":{"amount":"+0.8296836018562317","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":"Q3179415$851AC8D5-3718-48D2-A33A-6A4BD6561D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"855e1b494e2774dfb64132dfd52837c9100b87ce","datavalue":{"value":{"entity-type":"item","numeric-id":281154,"id":"Q281154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7565afad7bb52d8991e45e69009e7e4f46762d9","datavalue":{"value":{"amount":"+0.8169387578964233","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":"Q3179415$F83C3AA7-E7FB-4D9F-9719-BFE8CCF7D872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce5aa11177f9f2e99e1272e0603f573974742857","datavalue":{"value":{"entity-type":"item","numeric-id":4721657,"id":"Q4721657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fae1810b13ef42d40ffab87e33e7436313692734","datavalue":{"value":{"amount":"+0.7756137847900391","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":"Q3179415$EB4AAF64-DD1E-4F3D-B74A-57C9BAF76371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1929f5785aebf2d97a012f7b4238ba5c0c4598cd","datavalue":{"value":{"entity-type":"item","numeric-id":530854,"id":"Q530854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e1a2b8ec1826d34c6dbcbe0718bfbf0dad752a9","datavalue":{"value":{"amount":"+0.758782148361206","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":"Q3179415$3974AF44-F32D-453B-BE81-E10633B40EE0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Propositional dynamic logic for Petri nets with iteration","badges":[]}}}}}