{"entities":{"Q875512":{"pageid":877360,"ns":120,"title":"Item:Q875512","lastrevid":65039268,"modified":"2026-04-11T23:54:28Z","type":"item","id":"Q875512","labels":{"en":{"language":"en","value":"Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5142386"}},"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":"Q875512$43099178-7BBC-4014-A422-1FF4B2D250B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"25c7310bc56135ca20cf99dd369b55ab5fe6891a","datavalue":{"value":{"text":"Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q875512$DBB2B58A-23C5-48CE-BB73-D5C3A9858F4A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"06ca60cc5157d78e17d0668069b79d93d02cce6f","datavalue":{"value":"1111.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q875512$3CAE6F0C-DF90-4DFB-AAF6-496B89E10DC3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"85e2e1feaae3f58d6f42b332871845e2e716f13a","datavalue":{"value":{"entity-type":"item","numeric-id":624384,"id":"Q624384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875512$309B1367-7F1F-419F-91FD-8B421E765F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"47b43c51d36527a08ad015888ec278a59385f436","datavalue":{"value":{"entity-type":"item","numeric-id":650918,"id":"Q650918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875512$53F016F2-963A-4894-8DFC-E9D79881DB63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"70ee62538211b305c12019d77a717c2a9166b1e7","datavalue":{"value":{"entity-type":"item","numeric-id":875510,"id":"Q875510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875512$48D99A04-836E-41A9-BBD3-EA0205F7EC4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01c0ee6b72edce509c0c1a4be7352af4e8167c22","datavalue":{"value":{"entity-type":"item","numeric-id":624385,"id":"Q624385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875512$FC98D1A8-4368-411A-B8F0-43B45BDDFBD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"07c118fbcaff776ce0ef33bbea21cfe7715a17e9","datavalue":{"value":{"entity-type":"item","numeric-id":650919,"id":"Q650919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875512$70A2D3CC-68C1-46EA-A154-10B0E9EDC2B1","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":"Q875512$A0CEE4A5-77E1-42D8-9750-7B78C4053883","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e086009e2064e6604f7111e0363ab46c19c8ced","datavalue":{"value":{"time":"+2007-04-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q875512$57CC0170-00B5-4CD9-8543-23CAFB588876","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q875512$D5921F7D-6A7C-4341-9542-E603794A226A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ae3f7cf3eb00f33427052aef0f4e0ed69ae8885","datavalue":{"value":"5142386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q875512$BAC0D346-8A36-4F64-A9AE-0D6A108C925D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddf27fc9b216f89094d8cafa1ad26d087b62eec7","datavalue":{"value":"structured program schemas","type":"string"},"datatype":"string"},"type":"statement","id":"Q875512$4AE6DC48-FBE4-4024-8B4F-0CFBFB229AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a07749aca494e358819982935269def9ce43c8c9","datavalue":{"value":"conservative schemas","type":"string"},"datatype":"string"},"type":"statement","id":"Q875512$EA4F637D-A5E7-494B-800E-C500FEFF19D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f879a36d754c93226326597a13aa9216da54ec12","datavalue":{"value":"liberal schemas","type":"string"},"datatype":"string"},"type":"statement","id":"Q875512$0989F3FA-A07B-49F0-A451-61EA48F1044E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35ec7e898b63e6f9a2a57873cb1e7a0a8efbc631","datavalue":{"value":"free schemas","type":"string"},"datatype":"string"},"type":"statement","id":"Q875512$7F0ED7B1-5055-4FCA-AAF3-6510607E6EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cdb0271c877f3c2dcded2824006b6cc5f8ebecb","datavalue":{"value":"linear schemas","type":"string"},"datatype":"string"},"type":"statement","id":"Q875512$A5C7906E-B388-4D8F-9B30-821CC4AD63A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77475d15cee08e75113242d524406574d8449986","datavalue":{"value":"schema equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q875512$2299B602-2D2C-4144-A3BD-4786DCAA8D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q875512$2877339F-98CF-49C7-BB57-5C938542B791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fb6e19dca5c1dfa9f0da602d3d5d30bf4fc82dc","datavalue":{"value":"program slicing","type":"string"},"datatype":"string"},"type":"statement","id":"Q875512$1D8841C7-B59F-44B5-BCF1-AC98B7305D7D","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":"Q875512$5B39113F-8C8D-435D-B8E0-DC812DB5DA05","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"194eb3b5f17e98b858b0b5dd3ca290986ef25310","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2006.10.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q875512$3689C32A-6475-437D-B483-66AD5487B62E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e14c8126720b340a058152adc8ea863976e57d6d","datavalue":{"value":"W2108320473","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q875512$4DC05960-3792-4A39-A9D2-81F9A5A05F6A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"74b131f42f2d532fc88ee16873b96a8357a54632","datavalue":{"value":"Q59610175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q875512$19F5A081-FC4A-4DEE-B041-E8673F8DB1E7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac3af2a5d6d90fc35dbcdf27c89fba0731ef592c","datavalue":{"value":{"entity-type":"item","numeric-id":1233308,"id":"Q1233308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875512$78B80417-3A79-4E7C-BCD9-174AB93F3C5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914ef8719678eb4ee59028ba65b4741c8aa1bc8e","datavalue":{"value":{"entity-type":"item","numeric-id":4124327,"id":"Q4124327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875512$D0175514-FFF0-479D-AC06-FB83B01A5362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"484eecaa20e82631c1b7a6a617aec582899787b6","datavalue":{"value":{"entity-type":"item","numeric-id":4068063,"id":"Q4068063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875512$686825D7-5A39-452C-9385-9183FEF27840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a1ee66ef3239060b7d5fdac9d7cec0453de3d9b","datavalue":{"value":{"entity-type":"item","numeric-id":4127981,"id":"Q4127981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875512$98C8D35F-EE8D-4604-918F-883516C31942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b425b2d61ba39ce167419908021f4d07f21ea740","datavalue":{"value":{"entity-type":"item","numeric-id":4136524,"id":"Q4136524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875512$2C58B42D-E227-4521-8CAC-C64042631F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51aad2460247506927bc6270e57ca3ae85e63764","datavalue":{"value":{"entity-type":"item","numeric-id":1853616,"id":"Q1853616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875512$BE99E457-3830-49E2-AF6B-C42CAF59069C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6464cae6ab37dc5a57672fa54484e831c77439b4","datavalue":{"value":{"entity-type":"item","numeric-id":875512,"id":"Q875512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875512$87200418-FA84-4671-93C4-906FA32F22DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1151627bcf9e4470f43c1deca150ffe7c66a7162","datavalue":{"value":{"entity-type":"item","numeric-id":3214370,"id":"Q3214370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875512$8F529ED5-DD79-4DA7-A945-B5CE4CE16FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f7b60c77c0b5f89a27eaf0a201ebe8770436186","datavalue":{"value":{"entity-type":"item","numeric-id":5517672,"id":"Q5517672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875512$56EA6ECF-228C-4023-BD13-0676F6DBC582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41d81b3779271358fea4fdbe3911005cfad6f8a5","datavalue":{"value":{"entity-type":"item","numeric-id":912596,"id":"Q912596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875512$026B8480-C130-4150-B818-68DC5F41EF04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3aab6a0ee06edfb4c534ca939d1b7d7e087d9627","datavalue":{"value":{"entity-type":"item","numeric-id":4296075,"id":"Q4296075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875512$812D167B-D223-4F41-B53F-A28EBD2060EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"afa4527b6145978ad8d6fc1fb7e9f3d27557ba1a","datavalue":{"value":"10.1016/J.TCS.2006.10.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q875512$078059E9-4E37-4408-9BD1-2E6D98455203","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1675ed11622f309995b58f54eaca0d63c3c19f8","datavalue":{"value":{"entity-type":"item","numeric-id":1853616,"id":"Q1853616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fb9f2cb3b1a8d85d23014e22893aeac4e125f83","datavalue":{"value":{"amount":"+0.913167119026184","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":"Q875512$2B69C182-0BA4-4AF9-BCEE-D3494A6DA66E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab42ef86a79c99f7fda7008d2b5024f611a6fb65","datavalue":{"value":{"entity-type":"item","numeric-id":624386,"id":"Q624386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c741c4a4d8fd57456e1b5750439bdbd5c6f652b","datavalue":{"value":{"amount":"+0.8671441674232483","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":"Q875512$4D5BCBE6-274B-4663-A72A-6A54E625E53E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f637e1c012a0dcf9f83c36806667059e5d84dc1d","datavalue":{"value":{"entity-type":"item","numeric-id":1183814,"id":"Q1183814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efdfd06772142bc1741a283f83c09feb45241288","datavalue":{"value":{"amount":"+0.7724781632423401","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":"Q875512$596F43B0-6329-48D8-880B-D1937A2CAFFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"231a0dfc0faeaf2dc44d1ff3f66dd9f72fd0f47b","datavalue":{"value":{"entity-type":"item","numeric-id":1594177,"id":"Q1594177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6836cc563b2776f26dff72bc622241fd10fc5005","datavalue":{"value":{"amount":"+0.7651255130767822","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":"Q875512$27830F72-CEE8-4964-AD9C-EF9379EB31AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c9c919168938b5fe0011792d06c9e6350bc719f","datavalue":{"value":{"entity-type":"item","numeric-id":1183753,"id":"Q1183753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"508bb011afe2437ab2907f0f9dbb99df8798ad33","datavalue":{"value":{"amount":"+0.7611312866210938","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":"Q875512$F2E098D5-99D3-468F-841E-FCD1167317A3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Equivalence_of_linear,_free,_liberal,_structured_program_schemas_is_decidable_in_polynomial_time"}}}}}