{"entities":{"Q3719798":{"pageid":5749704,"ns":120,"title":"Item:Q3719798","lastrevid":81002462,"modified":"2026-05-06T17:29:36Z","type":"item","id":"Q3719798","labels":{"en":{"language":"en","value":"Syntax directed analysis of liveness properties of while programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3949681"}},"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":"Q3719798$D9792B3C-207D-4C7B-8F13-D1B30C6778D8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e2fa6cdec3ca526495ad76a7b6c20f812826c7ba","datavalue":{"value":{"text":"Syntax directed analysis of liveness properties of while programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3719798$0DA6BF04-45BD-473D-BD25-907B4C36EFE9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b72a2c75c434c852af8f8fed503f23f4431ab28a","datavalue":{"value":"0591.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3719798$3536C3B5-6AF1-4CBB-8979-BE52135F719A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b941d4280675a5a75a3a03f2efce0cc87f1acb8e","datavalue":{"value":"10.1016/S0019-9958(86)80037-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3719798$EF38C228-455F-4216-AF24-BA2BF5831B07","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6066cea2292dad22804c025246b70830e1a1139","datavalue":{"value":{"entity-type":"item","numeric-id":439941,"id":"Q439941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3719798$4606AC2B-E026-4268-BD5B-8544B5586FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"11acdd1ebc0f9c2942ae77939f651efeb55c27e3","datavalue":{"value":{"entity-type":"item","numeric-id":391246,"id":"Q391246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3719798$C3DE726D-8635-475D-85A7-62BC3D13074E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4434820098e3b6c980c31814818af7c68f56bd22","datavalue":{"value":{"entity-type":"item","numeric-id":2832035,"id":"Q2832035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3719798$F5AB69EE-BB71-412E-BF62-7CDEF6AE510D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3719798$DE100290-9298-45C0-802F-BC92246FE383","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3719798$620786B8-FB58-4864-A6CF-54FAD7F164E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3719798$41EF8BDD-8633-4BAE-8327-7D48CD7C5C09","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33a947a1d366188a0c137d82d1f1fea38f050d70","datavalue":{"value":"3949681","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3719798$7BE7ECC5-C2C0-4B27-939B-B8993FEB441A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31c47ffa62d0764efce368ddbe3adff888f2b368","datavalue":{"value":"syntax directed proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3719798$CDDDA7B3-330F-4FC3-9E70-E72F68660D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbb94c6c984d21ba9bb7f538d309f513dd24943d","datavalue":{"value":"liveness properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q3719798$31059908-39BF-48E4-8B01-C308F2A50031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f430f403100d8b973e4347af6c60d488292fc7d4","datavalue":{"value":"while-programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3719798$2DD53F12-B5C9-4053-8110-6AFDA3BF6E1F","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":"Q3719798$FF649A21-813C-402D-B3BC-C0B0E6ACC15E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2567372ccab0053b8ac04a6c83539f1eb0df533f","datavalue":{"value":{"entity-type":"item","numeric-id":1100884,"id":"Q1100884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63e0e50bc8277b6be950801ee70b4ebb9cbadaa3","datavalue":{"value":{"amount":"+0.7377368211746216","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":"Q3719798$B947C94C-ADE2-4D4F-8B66-8A636E13FA33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2aea13c570e05069715b97248394dcbad6b14d7","datavalue":{"value":{"entity-type":"item","numeric-id":1343862,"id":"Q1343862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8fb812ea362ebbf5656b40050b8eb848438d014","datavalue":{"value":{"amount":"+0.734367847442627","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":"Q3719798$76BF1473-487D-43EB-910D-07A1F15041EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ff50dc924e9f92d68d68ecac6a3c463a5f6e3a1","datavalue":{"value":{"entity-type":"item","numeric-id":795497,"id":"Q795497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07532a36d4179396d07d01d2a713884b63edcb2e","datavalue":{"value":{"amount":"+0.731753408908844","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":"Q3719798$C363C472-FA6D-47D7-9BB9-E091416F90C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f85c8c487760a0f7469bf3c53ab1894e03ddf591","datavalue":{"value":{"entity-type":"item","numeric-id":763239,"id":"Q763239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c811abc19c60f02cdde9642c5b22321ab44cf43","datavalue":{"value":{"amount":"+0.7291043996810913","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":"Q3719798$388955AB-A6DF-4A6F-B966-90FA843BEBE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfb28db83e135e9e071c7fdd963a7b5e4b8f8d3f","datavalue":{"value":{"entity-type":"item","numeric-id":4037394,"id":"Q4037394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af7362019e50e0a6ee6eb965142d3f11177f0b2a","datavalue":{"value":{"amount":"+0.7245344519615173","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":"Q3719798$C2F6AC85-A303-485F-A01D-63981DA579F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Syntax directed analysis of liveness properties of while programs","badges":[]}}}}}