{"entities":{"Q1115196":{"pageid":1125945,"ns":120,"title":"Item:Q1115196","lastrevid":77753591,"modified":"2026-05-06T09:59:00Z","type":"item","id":"Q1115196","labels":{"en":{"language":"en","value":"A linear algorithm to solve fixed-point equations on transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4085042"}},"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":"Q1115196$10A5E799-BBC4-44C7-B5D5-3F088227DE0D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"41a0611a3c2177af4a5beef606095b14902892aa","datavalue":{"value":{"text":"A linear algorithm to solve fixed-point equations on transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1115196$D122B116-5B19-4643-9E9B-955D192917B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2938dca86f3372a8c7e0b8ce29db3c158b303789","datavalue":{"value":"0663.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115196$787C7350-5CBA-45B9-8E82-C50D98131C82","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c63d96ac46f804cfd19df3a60f578126aac5608","datavalue":{"value":"10.1016/0020-0190(88)90029-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115196$2DB3BE42-2E9C-4125-BBBE-2F43059D9C82","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f07bf463f7dd0ae34a6ca7eac63af8055d6cf8ac","datavalue":{"value":{"entity-type":"item","numeric-id":671987,"id":"Q671987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115196$1A8E061C-DF2A-4407-848E-A635A02BE26D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3984d753b5f7aaeb7da64d4599c59b5e8577996e","datavalue":{"value":{"entity-type":"item","numeric-id":1115195,"id":"Q1115195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115196$1C6632EF-BA05-4131-88B3-A41B159D1799","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115196$79FC16FF-B8FA-4681-9B3C-1D57F771DCF8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1115196$1FE9949B-8C4F-4297-8B6F-FDE6ABFBE20E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3507425b5919910adff3e647eafe94c01f6293e9","datavalue":{"value":"The authors give an algorithm to compute the least fixed point of a system of equations over a transition system. This algorithm has a time complexity linear in the size of the transition system.    The proof of the correctness of the presented algorithm is given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115196$B1720477-545C-4007-B4A6-2B7D51B488C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115196$7E73C0BE-8F68-4B56-8B8A-9A23EAD19CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115196$B4230C11-839F-48A4-8262-57FBD390E149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115196$0DF1D56C-B966-426D-821D-8D72AAF41A80","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de5b8762eff63a0255607f8a5184e526846500df","datavalue":{"value":"4085042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115196$C179A626-E041-4DEB-AC45-6E26FF080975","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43f442c04af1721e28642bf3ece2755cc0d86657","datavalue":{"value":"fixed point equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115196$236D3CAD-6F0D-4C0D-91B9-1EC4C45B13E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115196$248C4042-E000-47B4-AF7E-BABA80E6E8ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd4dcbfcea5baa2bd44ecf6992522c6e57ba6fed","datavalue":{"value":"model-checker","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115196$C1054AA7-9C76-4069-A619-68802F7B2D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53064f6609fb5177611c085d6f78e739c7e3f7f6","datavalue":{"value":"time complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115196$4716D98D-BA80-469D-BA8D-5E61BC78B2F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9408546ecb33d5fe54dbb1dbe82b7a513b60f62","datavalue":{"value":"transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115196$BFA5C21F-58F2-42EE-B259-5ADE3F071207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115196$D5A751F6-EC42-455E-AC35-225F51ADF9CF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8b601581d449022054644e5d011d98f59f90aefd","datavalue":{"value":{"entity-type":"item","numeric-id":593584,"id":"Q593584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115196$548C72A1-462A-4320-AB18-8D5445E96EE6","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":"Q1115196$AD2D412B-6D63-415E-B906-58FB3F2ECA54","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a77c3889f51ecb4e99235afe5df4b5c8ad6a1bb4","datavalue":{"value":"https://doi.org/10.1016/0020-0190(88)90029-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1115196$D120D678-DE52-4DC1-9EE6-2C794F18559D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c0116ae39667e2e94b19addf7791c22da727ac06","datavalue":{"value":"W2002570665","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115196$9A8902EB-0D7B-4BD1-937F-AA08427A9036","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115196$17E19A5C-5F35-4ADD-883D-BFB5F7B54A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a233fcdd59ed375b107dd5278d5d7a6acd0c91c6","datavalue":{"value":{"entity-type":"item","numeric-id":1822237,"id":"Q1822237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115196$39F5F55B-F7F6-4492-A2AE-6A657F1A054E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d84ade6a02bd73f79c254069b90a11e1d3dc467","datavalue":{"value":{"entity-type":"item","numeric-id":4095835,"id":"Q4095835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115196$3A60C210-E689-441A-96A0-20A426E6896E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115196$C2C6CFF8-775D-4E7E-89A9-18C61B95C034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1bd4af1cd6a9185f3f1ca9691777de4271c1e19","datavalue":{"value":{"entity-type":"item","numeric-id":1161289,"id":"Q1161289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115196$0B5A2B7E-5B4B-4146-AF05-13A59543C839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a791e6b13200f21127f48f475b5988c15175f95b","datavalue":{"value":{"entity-type":"item","numeric-id":5663889,"id":"Q5663889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115196$4FAF3BBA-EFFC-410F-933C-4E7AD99055B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"229e4aa71e6c2cc5f7e0fec6801dd49d9a8119c4","datavalue":{"value":{"entity-type":"item","numeric-id":1262778,"id":"Q1262778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f6d4c5cfb5496f2d5e58d5f17c0397c0f6b735b","datavalue":{"value":{"amount":"+0.7548210620880127","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":"Q1115196$E3A6B6B2-7069-4F36-89CB-92E164DA240C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fa6d5bace0612eaf4442c281bc93ada19255dff","datavalue":{"value":{"entity-type":"item","numeric-id":3113763,"id":"Q3113763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d4697a819086194883493f332a577723435d2f1","datavalue":{"value":{"amount":"+0.7164658904075623","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":"Q1115196$9C1B96DF-2AA0-42EE-873D-55E517EB9668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e853ead9d65d8c78f0ee9068af36a30e9767994d","datavalue":{"value":{"entity-type":"item","numeric-id":5756502,"id":"Q5756502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a83755121527521817e6960f3c8734a5c40b4cb","datavalue":{"value":{"amount":"+0.7139677405357361","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":"Q1115196$D6B45621-BCDE-4F43-A19A-99CC9780F8AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6469bdd9ccc1a3b3b8fbe06bcfbc988ab98ef23","datavalue":{"value":{"entity-type":"item","numeric-id":3800111,"id":"Q3800111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90b839bd90f6052e765cf102204cb3854bb0ee54","datavalue":{"value":{"amount":"+0.7093601226806641","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":"Q1115196$D94B64EE-BC89-4AD8-9119-F0497D2C2B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5da5db7ce77e86a4fbd43e8f4bfd937d7d54ae0d","datavalue":{"value":{"entity-type":"item","numeric-id":1391536,"id":"Q1391536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ad6d60141441c2f5ddc409b9e6d268335067c58","datavalue":{"value":{"amount":"+0.707473635673523","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":"Q1115196$ADE16462-3107-4CE2-A025-6DE9FD98D1FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A linear algorithm to solve fixed-point equations on transition systems","badges":[]}}}}}