{"entities":{"Q4089761":{"pageid":6119361,"ns":120,"title":"Item:Q4089761","lastrevid":89232017,"modified":"2026-06-04T16:42:41Z","type":"item","id":"Q4089761","labels":{"en":{"language":"en","value":"A Completeness Theorem for Straight-Line Programs with Structured Variables"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3509711"}},"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":"Q4089761$D7C2809B-9409-4B11-BBBE-384CEDA17B0A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f9d10be07c91a94b0740ce2c7eade2f1bfd55bfe","datavalue":{"value":{"text":"A Completeness Theorem for Straight-Line Programs with Structured Variables","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4089761$F64C9E3E-2F0D-45C8-AC8E-B39E4E4404A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9744c41f9b31b718fb369c355c335b95f3156eb8","datavalue":{"value":"0325.68007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4089761$68BF63E5-F226-40A3-B499-52D8DD24EC65","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"abd9c90dd87304a3aa71aca70d35f746b10fba68","datavalue":{"value":"10.1145/321921.321940","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4089761$C91DD9A8-E9E7-4EE7-9F05-58D84F696DEE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4089761$365EC840-DE8E-4F02-8A69-6C5F19448B22","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"974fa8a46aa40326fb3113b279589eb02559bb73","datavalue":{"value":{"time":"+1976-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":"Q4089761$3BCED036-5635-4C51-9936-08003AE70DC6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4089761$C96366BA-71BF-428D-8D1C-A2DCF0DE5798","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0152f7ed8c6ce3e3c36650363442e074f6cdb2c6","datavalue":{"value":"3509711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4089761$3441E3F8-7713-4A32-9144-8237A737A9D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac4ccd7d53ae11edf87e585cdb3d94259de3a0ce","datavalue":{"value":{"entity-type":"item","numeric-id":586282,"id":"Q586282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4089761$E59633F5-1644-474F-B7E7-01455CCE2B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"09c1a81962bcb8cbddd94952f5b80a659dfea12d","datavalue":{"value":{"entity-type":"item","numeric-id":1238998,"id":"Q1238998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4089761$FDB1F4DA-8B0D-45AA-8D82-3A2E66D92876","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":"Q4089761$AEC42362-F765-47D2-8292-53B4446805B3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da886fe40e7c9b9d66b56d2a6917c82674995a3a","datavalue":{"value":"https://doi.org/10.1145/321921.321940","type":"string"},"datatype":"url"},"type":"statement","id":"Q4089761$C91814E2-CB4C-473D-93F9-5167FFDAD361","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9d91ed61a286a139a390a65a1d3bbdca377c8aa0","datavalue":{"value":"W2055164263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4089761$ECD393D7-D81E-48B3-A65C-55BD02885AF6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Completeness Theorem for Straight-Line Programs with Structured Variables","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Completeness_Theorem_for_Straight-Line_Programs_with_Structured_Variables"}}}}}