{"entities":{"Q4207888":{"pageid":6237489,"ns":120,"title":"Item:Q4207888","lastrevid":41741328,"modified":"2025-05-07T19:23:10Z","type":"item","id":"Q4207888","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4128794"}},"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":"Q4207888$5E7B0000-E823-465F-89BE-36DED03858EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af4c3f7d00020a18aa3a283beab013fb524f15a1","datavalue":{"value":"0689.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4207888$ED991680-7D16-417E-A24C-60431114CFDA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f176c57a4367ad5b382cbda8b83dad6c2cfec594","datavalue":{"value":{"entity-type":"item","numeric-id":213236,"id":"Q213236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4207888$BD194672-DC99-4C9F-9D38-6BDCD576AE70","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q4207888$3C46B6A3-257B-4179-9EE1-9C1A035F0C44","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4207888$4CACCE88-A0D7-48CA-8D6A-ACFF48F7A7C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"416e70dfd87ee6b51e47834e95b045f1bb971ac3","datavalue":{"value":"4128794","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4207888$0724C608-0689-4058-9309-B198D1932901","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"875d0ef070f5ac8b57772f4776fb872aab667adc","datavalue":{"value":"extension of propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4207888$46839B85-C715-423E-8377-EE7BB48E8BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d22debc1a0301ac0d09746a4bdcc1e5cc27c8db3","datavalue":{"value":"relational expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4207888$11B2B882-33BC-49BF-8B0B-6380A5BF2F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"307a0aa7720fc50c5c38aa102a2bc7f75cac371d","datavalue":{"value":"program specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4207888$BAD082EA-8AC2-4E95-A09A-0B9E3D86F688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97cff52f1f8df429852ad8af8776d8a3d505548d","datavalue":{"value":"relational calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4207888$B157EE38-4D19-4AF4-B130-A2BE27F92634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f92573fee4dac6c53f349086271524840407ca77","datavalue":{"value":"left residual","type":"string"},"datatype":"string"},"type":"statement","id":"Q4207888$C646FB62-5AEE-4254-A2EC-E475342A7349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"caa7314e00b0621f541914d1f03a0e04fe147d9f","datavalue":{"value":"right residual","type":"string"},"datatype":"string"},"type":"statement","id":"Q4207888$3190981E-1901-4342-BAA1-FE9FC4003424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bf8a6acc7c8f0e1d4c6a6f8a79bc23cd97bca04","datavalue":{"value":"program logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4207888$F30868E9-6026-40B5-A2A3-2A94592CB186","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":"Q4207888$AA97B759-016E-46A2-AB96-5EE29310F8C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"619b1fd16d5535d80bc0ec570201cf40fcc38c64","datavalue":{"value":{"entity-type":"item","numeric-id":4415071,"id":"Q4415071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a44d118a13804521d823c65a378d0ac72070713","datavalue":{"value":{"amount":"+0.9520854","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":"Q4207888$BA6B2814-AB60-4B2B-8716-AFF77647DD69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ace36d7a7bfed1b971e32fa5541632756a54c535","datavalue":{"value":{"entity-type":"item","numeric-id":5039509,"id":"Q5039509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b3d51353f7e81e285fccf8e4e32eb9286a87d51","datavalue":{"value":{"amount":"+0.91023266","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":"Q4207888$6C4C889C-197F-47E5-8ACF-0EEB5816FC94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aea730fea43e185064292050b68dd1058675866","datavalue":{"value":{"entity-type":"item","numeric-id":5302024,"id":"Q5302024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f9bc415db9c562fb098d56b45eba52593355037","datavalue":{"value":{"amount":"+0.89725775","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":"Q4207888$A7CE0DED-87BC-4F4B-A8A3-99ABED0757F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37701fe5f2af146b6fc94fc73d5e6f2cfd117e79","datavalue":{"value":{"entity-type":"item","numeric-id":3550861,"id":"Q3550861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1239034b20b90653f1ac78bcfb3a8b17be0ca397","datavalue":{"value":{"amount":"+0.8957173","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":"Q4207888$CF3C30CD-3955-406B-9624-9BE19D24C114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d62374f852230d01c88d00426e3c35d5cd2d60c1","datavalue":{"value":{"entity-type":"item","numeric-id":4291023,"id":"Q4291023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6b2e559a01b39e69bca32f5dc3686bd9918c462","datavalue":{"value":{"amount":"+0.8956695","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":"Q4207888$91C10183-0624-4448-B058-2974C664D4E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d98ad43f4fcf432b011c1e7cea9912043bafda9d","datavalue":{"value":{"entity-type":"item","numeric-id":2055760,"id":"Q2055760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59fbbdd3ccfddeb26443d3dabdcce0aa6239f6cd","datavalue":{"value":{"amount":"+0.8924853","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":"Q4207888$A4F8AEBD-CB18-4B3C-979E-0D99EE8FDF37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cad83f31775689884dcbed365c845c8b827890f8","datavalue":{"value":{"entity-type":"item","numeric-id":2883087,"id":"Q2883087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35f6ccd2e1b0f84560cc28789d185923d0aab25b","datavalue":{"value":{"amount":"+0.8921103","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":"Q4207888$D1016635-A5BC-4C5D-B0C6-3A14A237123D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d397e5cb6278da902586cc56fb917daa19cd105","datavalue":{"value":{"entity-type":"item","numeric-id":3732958,"id":"Q3732958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae05754f172d714357c312002c172143ccbfe312","datavalue":{"value":{"amount":"+0.8918064","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":"Q4207888$968B8EE7-F1E3-4C01-9881-F96CE791CCB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c6592450d4ee64a63f880ebd9f77ab33bef3716","datavalue":{"value":{"entity-type":"item","numeric-id":3201035,"id":"Q3201035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc3fcc224e58e11b8fbdff7b60db9eb7053749eb","datavalue":{"value":{"amount":"+0.8915586","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":"Q4207888$45750555-2E2D-49EC-B64A-FF7CD10FC789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01954ae201689a17df7505ab0b2b38c5b4edf307","datavalue":{"value":{"entity-type":"item","numeric-id":3323249,"id":"Q3323249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fe153ea05183acee5c0c9e4f793f4c860f8e425","datavalue":{"value":{"amount":"+0.8905867","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":"Q4207888$D9A42302-0A45-43FC-A429-2154DC465A66","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4207888","badges":[]}}}}}