{"entities":{"Q1575253":{"pageid":1585993,"ns":120,"title":"Item:Q1575253","lastrevid":72229425,"modified":"2026-04-14T03:29:40Z","type":"item","id":"Q1575253","labels":{"en":{"language":"en","value":"Fixpoint semantics and simulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1493201"}},"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":"Q1575253$3EAE3544-03BE-495E-9923-368420B7E577","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ff8a59a938855497cc27ca90551b19a98f34b7c","datavalue":{"value":{"text":"Fixpoint semantics and simulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1575253$5681E368-BD1C-4AC8-90C0-05E3E6410173","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c670ba44bce7e251aa83cd896e1d19aa3ac1944","datavalue":{"value":"0944.68192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575253$EFDA8FF4-F06F-4A4C-BAD5-DDA6097E09F1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c2dd289c87156c9ea04415449082e28cff292623","datavalue":{"value":"10.1016/S0304-3975(98)00176-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575253$767A8465-91A7-4F04-AEB0-202574A3AA2C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"69f19818626f15935a07b2f682ba3c1a781a7eb6","datavalue":{"value":{"entity-type":"item","numeric-id":1575252,"id":"Q1575252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575253$0795D440-F349-40D1-8009-0B9CAF9BC8B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d19214d6ab96c1b95faaaf223b83bab4e859315a","datavalue":{"value":{"entity-type":"item","numeric-id":216155,"id":"Q216155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575253$DFB895D5-1C04-477A-9E50-8DDB722E3C41","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575253$B90E94FD-FC08-4A7F-8CD6-4F0B1654A86F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3a497233c3b9babc42d370358782cbff338a7a1","datavalue":{"value":{"time":"+2000-08-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":"Q1575253$82957047-ADC2-4C1C-A487-2D52907598ED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e40b847cfa456e95c1c964a8cd9df72656b7c29","datavalue":{"value":"68U20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575253$06E66F4A-51F2-49F3-A5B8-17768A2447EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b73a28ea142df4ea2a37c1dd82d4bbe4484b726","datavalue":{"value":"1493201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575253$EAAD7747-8575-417D-9F67-EC811D1E4244","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f828563fee5a57e5f16da87a79378ac587cea3ac","datavalue":{"value":"simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575253$AFE94CB3-7498-4750-B2FC-36D6445CF1B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"453868b3ecd4cc2ceb48419daecef9c56fc8bd79","datavalue":{"value":"fixpoint semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575253$2C9D6297-ACDF-4FB2-9305-726BF1B35FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f796ed2b460346bbba92264dac0da22a5120d5d","datavalue":{"value":"recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575253$F90FCE0B-BE8B-4CAE-9B90-C478B32FC599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fea9a03b5dc56f980d477656272a4aec82f77f56","datavalue":{"value":"model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575253$8E132028-E64A-4FA4-98C5-63F3BC9D8B13","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":"Q1575253$EEB33B75-FFA2-490C-A2B1-C92DB48962E9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2286e0c27de1eb37a1462ffac8c7059d7a659a3e","datavalue":{"value":{"entity-type":"item","numeric-id":1801304,"id":"Q1801304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575253$88503E0B-49E6-404C-96C4-CF3B2097E84A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"717ee7ad9617e8fc6b7a3bae8a5f26048dd419aa","datavalue":{"value":{"entity-type":"item","numeric-id":5762080,"id":"Q5762080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575253$901C8BD8-483F-4519-996A-AB56FADADF42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd265bdbcf41f2b9982b655d7aaf44e4072217fa","datavalue":{"value":{"entity-type":"item","numeric-id":4692630,"id":"Q4692630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575253$E1E09649-4D43-4083-9E56-C38A36D23962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae3d9cbe8b4b750f9d01a94d992d3e5992fe490e","datavalue":{"value":{"entity-type":"item","numeric-id":1105379,"id":"Q1105379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575253$23AEB29F-5DE3-4316-874F-944C56437D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7c3461e823e16301f2ba1d4613d0fabb013ef51","datavalue":{"value":{"entity-type":"item","numeric-id":4023579,"id":"Q4023579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575253$61AAABEB-B859-43EC-A4A1-6E58628B2F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17794c4bc319199b07780fe8daa9724755f28e9","datavalue":{"value":{"entity-type":"item","numeric-id":4355684,"id":"Q4355684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575253$6A067107-782F-4B62-888B-A2BE65F36829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5068e4b69a5da9f2201cc7d7cc1207ab24e4fa38","datavalue":{"value":{"entity-type":"item","numeric-id":4395617,"id":"Q4395617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575253$D7C0D434-D7CC-4085-A1AB-654E7EA4C689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575253$BF5C0DFA-A855-41B7-9736-30CD7A36E3D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d262ff675f96dc143fba11bdd136a6eee1f4d1fe","datavalue":{"value":{"entity-type":"item","numeric-id":5631102,"id":"Q5631102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575253$EA307E2E-3987-48FD-B6CC-7F2ECF3A3D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b0016ef4b330eb172a6310caac5413e99655cd2","datavalue":{"value":{"entity-type":"item","numeric-id":1575253,"id":"Q1575253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575253$485FB54D-8EB2-41BD-A523-99B53F869E73","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"381aa1fb3c5f88fd4cb57be3bc2ea96728c22143","datavalue":{"value":{"entity-type":"item","numeric-id":6113980,"id":"Q6113980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4032ff10c41b0be063834a300dd9190a71b0c655","datavalue":{"value":{"amount":"+0.87757987","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":"Q1575253$824E011F-0B6B-4AC8-9900-E10FE59A2D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6f1872474eb6b42d97e1337002c2d91da7c25b8","datavalue":{"value":{"entity-type":"item","numeric-id":2248074,"id":"Q2248074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61931323f012c9c6390f03d53bc4cf2896e9d860","datavalue":{"value":{"amount":"+0.87149686","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":"Q1575253$F69C6179-9892-4A76-81D4-D658C14BF97F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e646b0e6df1bffaa051f0b72253bc7b72dbe857","datavalue":{"value":{"entity-type":"item","numeric-id":5013880,"id":"Q5013880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"886ac3a113b0ece3d439ebafb38e7094e8ff82cc","datavalue":{"value":{"amount":"+0.87012726","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":"Q1575253$E560C7D4-50EE-4D19-A4AF-7FEFB748354E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"438161d580242b1bd18397d7421ea3ce7f7dfdab","datavalue":{"value":{"entity-type":"item","numeric-id":3185770,"id":"Q3185770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44db73f80f9a327a2c8bbd8f0b08b3e2e69ffbae","datavalue":{"value":{"amount":"+0.86692506","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":"Q1575253$FB162BE6-1640-47CD-BE6D-57A25791B3B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d82dc2cd5b91d0d43ea5c2930a4cf57b31e006c","datavalue":{"value":{"entity-type":"item","numeric-id":4636281,"id":"Q4636281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8759c3901f80a87762480255c8fcc6bb42086b1d","datavalue":{"value":{"amount":"+0.8667155","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":"Q1575253$D837D1EA-FF23-4782-A537-87372880D43E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ea6823fc804b5444d36ae0a0ab8c4f2ecb9dd0b","datavalue":{"value":{"entity-type":"item","numeric-id":1330439,"id":"Q1330439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c7ba36d88f198bc732322e17da06a098edc45d1","datavalue":{"value":{"amount":"+0.86563706","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":"Q1575253$8204EB56-C6F8-4F51-A6C8-140C170103DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78f8c4d03fdc808bd007262d2c94a5f907e0bed8","datavalue":{"value":{"entity-type":"item","numeric-id":4365822,"id":"Q4365822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0b253f690b56ce2e6376e3042dda96319463487","datavalue":{"value":{"amount":"+0.86513186","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":"Q1575253$F2088D20-EDC9-414C-A4C7-7E0932C318AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d195d171abd6da2ce6985297908a4399dffc85f","datavalue":{"value":{"entity-type":"item","numeric-id":2871848,"id":"Q2871848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac54a53344f68e3c28a437dbd270ad0e31f6b9f6","datavalue":{"value":{"amount":"+0.8643657","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":"Q1575253$0B7DA864-EDB8-438F-8380-12A212681A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d372c7ad2f013a17b6024aca16fa86984af0dbf","datavalue":{"value":{"entity-type":"item","numeric-id":4963897,"id":"Q4963897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6dfa3c2ef65e6995b514c85240864d39e3072ab","datavalue":{"value":{"amount":"+0.8612043","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":"Q1575253$D7EEB2A4-F236-44AA-9E48-76B85B588509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75703213a5e6b1ffbe2a13631cdcfbae534fc6cc","datavalue":{"value":{"entity-type":"item","numeric-id":4938429,"id":"Q4938429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"361d8b651fa5f84b66b583ed26c25958e6e7c2e0","datavalue":{"value":{"amount":"+0.8568984","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":"Q1575253$4BCB7572-0C27-4E75-81F1-FDE7CC38EC90","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fixpoint semantics and simulation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fixpoint_semantics_and_simulation"}}}}}