{"entities":{"Q3773852":{"pageid":5803758,"ns":120,"title":"Item:Q3773852","lastrevid":52181246,"modified":"2026-01-21T02:49:05Z","type":"item","id":"Q3773852","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4033710"}},"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":"Q3773852$725D20A4-EB9A-426D-9387-D2C4A2DBCEEA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4ce29641615d9b5ec5e62e554095aa51e8e52b02","datavalue":{"value":"0635.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3773852$BF445790-3A2B-4196-B275-B83D14604113","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da1f2eae718b1a354207c6a7cbca0c2cb2019709","datavalue":{"value":{"entity-type":"item","numeric-id":227763,"id":"Q227763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3773852$83AE3969-72E4-4DDE-B239-AB4913151869","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3773852$BEE71222-40FF-4CFB-9F34-EBD5DE541962","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3773852$54393B32-0E62-40BD-851C-82D9D9086E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3773852$E627BCD0-FB62-443A-813B-45D9122CF5DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3773852$113C4990-027F-45AD-9B36-289111DDF14A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3773852$C1874B13-7A01-4DDD-A9AC-DE666A93DE0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3773852$B7800B6C-40B7-4A4C-9F93-33431F334FD6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"caaeeda507a4e162edd88d7f45f5e3a31c521a4f","datavalue":{"value":"4033710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3773852$57B4BD75-D78A-4BAD-A89C-7CF18E1849D3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3773852$4D9810C7-BF6B-4280-8CD2-F0B327BAE761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a850ee01f9fe6c0e93ae692ac21d7eb4a5f1f68c","datavalue":{"value":"concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3773852$69D7B7B8-10D7-4EC3-8343-438637F59A28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a057deffdc732dd5e6e72c2451b0393c916709bd","datavalue":{"value":"filtration method","type":"string"},"datatype":"string"},"type":"statement","id":"Q3773852$F36D1432-892B-44E2-86F6-FDC98D9EE61E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3773852$E512457E-B516-48FB-A5A3-76EC9414E63C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c84d1487c0cf44d5a75f3fc8bf1f4a74ea46aadb","datavalue":{"value":"propositional dynamic logic of regular programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3773852$77561FFA-A952-4104-894F-9D63AF96494E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5451083c7e435a3cf7f4a43bd32b2ca15a42f0d","datavalue":{"value":"first-order dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3773852$E29B04ED-76B9-492C-BC58-CD718C7758A6","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":"Q3773852$79563E28-4A54-4690-9B79-BD5A809DCCE2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79a759cf14f3d735c140f079eeb08b1d36c2e5e7","datavalue":{"value":{"entity-type":"item","numeric-id":4860769,"id":"Q4860769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b872c4c1af752627912c7a472e42a3204693c01d","datavalue":{"value":{"amount":"+0.97236633","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3773852$26325FF1-3B84-43A4-B828-57FE6878991A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5d28b87a147de28bc2134ecb2ac2c43a15e3583","datavalue":{"value":{"entity-type":"item","numeric-id":4733377,"id":"Q4733377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbdf7dc5c63648513f22a0d1853cf3e82ee1d6e8","datavalue":{"value":{"amount":"+0.92539865","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3773852$216EBCDF-45D0-4D31-801F-A76623FCBF11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2de5de5f71e8d85542663835ea1ecfe31c4bc7a","datavalue":{"value":{"entity-type":"item","numeric-id":1805011,"id":"Q1805011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3abfe7efe5b476f3220edca914c71ad6989a7824","datavalue":{"value":{"amount":"+0.92131215","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3773852$9779BC49-EE8F-4A9D-96F0-78B50FA93DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ea108dc4d3486b75416193e20af0acb78b75a2d","datavalue":{"value":{"entity-type":"item","numeric-id":6165037,"id":"Q6165037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e5d1d65aeb5a90c5c52b8e0e363f4317db929f0","datavalue":{"value":{"amount":"+0.9169122","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3773852$1CC004D9-27F0-459E-935B-55B378E7FC53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"574bad1accad45f678edc900738ef691aa04e10b","datavalue":{"value":{"entity-type":"item","numeric-id":1401946,"id":"Q1401946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28fe996c9513cae0e6704d6a1ad3e322f0285e86","datavalue":{"value":{"amount":"+0.90964717","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3773852$F8D53ECA-8509-4EFB-8605-70ADDAFFD631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2782ca6af719f90715187e70afe4c9afb53ea26","datavalue":{"value":{"entity-type":"item","numeric-id":5217304,"id":"Q5217304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5958230e51310c1eff7e3e9448590a309dab6746","datavalue":{"value":{"amount":"+0.90667856","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3773852$C8BAF843-54A0-4B6E-B16C-EE009D8CB512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13ab810bd1a8933f4f5c9739d7972f05526bbac2","datavalue":{"value":{"entity-type":"item","numeric-id":4532196,"id":"Q4532196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23048f34cfc0ee857c0140c3e2cdc1ad374fdbbb","datavalue":{"value":{"amount":"+0.90645164","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3773852$2D4D710B-1613-4A62-BAA8-C23045D851F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67548bb33c036b1ea08167a45930689755f850d3","datavalue":{"value":{"entity-type":"item","numeric-id":2851821,"id":"Q2851821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a00a6e8ba5d6babf2b62b5c1a17ea3ac187bf62f","datavalue":{"value":{"amount":"+0.9045336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3773852$19FFC424-29D3-420E-8CCC-A2705DF1DFAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f7c7ad0cf3740f4dbc20d23ff67540f2f0e99a2","datavalue":{"value":{"entity-type":"item","numeric-id":3472083,"id":"Q3472083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a100b1e968ef3fb5bd9619f6d258eb9f0957987","datavalue":{"value":{"amount":"+0.90010464","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3773852$13A2BE72-1C83-4A47-A61A-0EE3D87E2DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ae16bcc06560042570038f2dc5809dd08bdaf0a","datavalue":{"value":{"entity-type":"item","numeric-id":4591089,"id":"Q4591089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a256837247d1e12dbf5da397d0b953da6bf865e3","datavalue":{"value":{"amount":"+0.89976144","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3773852$7A80F48C-ACD3-4F30-BEE3-8075B754E9BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3773852","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3773852"}}}}}