{"entities":{"Q1183547":{"pageid":1194296,"ns":120,"title":"Item:Q1183547","lastrevid":70204608,"modified":"2026-04-13T13:09:06Z","type":"item","id":"Q1183547","labels":{"en":{"language":"en","value":"Automatic autoprojection of recursive equations with global variables and abstract data types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 33373"}},"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":"Q1183547$3F834AB1-312B-45BE-9424-B113F727756E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"17364d5d500c44992435e61ccad25651f6f7d8f2","datavalue":{"value":{"text":"Automatic autoprojection of recursive equations with global variables and abstract data types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1183547$7D95201A-724B-49C3-B407-C4B968F6419E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"efe0163f493d752eae1ef675be8ed7ded04890c4","datavalue":{"value":"0745.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183547$E1CD8368-B3EA-4261-BB2C-8C33F7E7CFD7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"27169c2408576c6c7d67a2d83a44a435fb0c410b","datavalue":{"value":"10.1016/0167-6423(91)90002-F","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183547$5673E9E3-D0C3-406F-BA85-895C1C904B34","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a59a9ff40c2ff5791810d00f145ce87f2ec5222","datavalue":{"value":{"entity-type":"item","numeric-id":1183546,"id":"Q1183546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183547$4F2B3903-4B13-48EC-97AE-3FFE9780E89E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f7ebf08f82ce515e0740dc978f18c660e5f4735","datavalue":{"value":{"entity-type":"item","numeric-id":232933,"id":"Q232933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183547$D26A585A-0926-426B-B522-D6C83FC340FC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183547$9B42649E-C166-4A3B-813F-7EDBAC7B177E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1183547$5A05C9BA-F220-4A28-AE64-F2D355D080CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183547$CCA8BFCA-2373-4CE9-99D3-B0C3D1072D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183547$311954B3-31F5-4399-A337-5C58EB5E8D88","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb8068927a2f81589cd75aeec41cc5ae5b7aa12e","datavalue":{"value":"33373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183547$B5E0AF34-0FE9-4066-B147-22550D506BC2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"161a420477ad30621de7ba9e6e329fb602b2b6a6","datavalue":{"value":"Self-applicable partial evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183547$CB469365-C811-4CF6-B2BF-E3F9D78D90F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b97df670379b3f513e1b9e33aaafae602ca5c040","datavalue":{"value":"Similix","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183547$9ABE1348-62EA-4278-8EB8-B29764B3C92C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25142d99e70f3e956d269c694dba0c0dca93e8fa","datavalue":{"value":"unfolding","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183547$35DA2E84-C1A7-4898-8E91-766BA032E378","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":"Q1183547$39809C7D-7D44-438F-B6E0-09B2EC86572B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b6990f61eb761e6eafaba36da3a793c5e67cefea","datavalue":{"value":"https://doi.org/10.1016/0167-6423(91)90002-f","type":"string"},"datatype":"url"},"type":"statement","id":"Q1183547$F9D85FB2-D79E-4A64-A603-F7AA34E55A31","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dd9663c2559973f79ddb13b9e97102a1e5d517d1","datavalue":{"value":"W2090036644","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183547$20429D13-C92F-4F88-8E8C-F4772B00C573","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28542446baed3e85616bd513b4fee844236bc6ac","datavalue":{"value":{"entity-type":"item","numeric-id":1183551,"id":"Q1183551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a4cc084e8324f72e1d05de39298a32f26c773c7","datavalue":{"value":{"amount":"+0.8088838458061218","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":"Q1183547$600CCFAC-766D-46F6-814A-622EF5C0A464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25a079ecbfe185d301ff8aee593cda34624bb9a6","datavalue":{"value":{"entity-type":"item","numeric-id":4001863,"id":"Q4001863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb0e3ebd3db56a99d9e760469f699bd06f1e9b10","datavalue":{"value":{"amount":"+0.8087964653968811","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":"Q1183547$5F81ACD1-B683-4FD0-9777-DC571D0C6BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4549abf388a5534cff81c79b19182b08e4a99ae7","datavalue":{"value":{"entity-type":"item","numeric-id":4038724,"id":"Q4038724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38fa3e0af18ffb198663716d54320b52a415401d","datavalue":{"value":{"amount":"+0.7433228492736816","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":"Q1183547$942D4DEC-8942-4AE4-8D9C-44604DFD13C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6af57138cb40f888a59230391ea56784d51eae8b","datavalue":{"value":{"entity-type":"item","numeric-id":2763534,"id":"Q2763534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38fa3e0af18ffb198663716d54320b52a415401d","datavalue":{"value":{"amount":"+0.7433228492736816","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":"Q1183547$01FB7922-36C0-4CCC-AB8A-FE4156891767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6e75089dee63979659d647ac6815fd21099c954","datavalue":{"value":{"entity-type":"item","numeric-id":4939696,"id":"Q4939696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"276e1143b169c475639dab65a9b5c1dbcb6d4be7","datavalue":{"value":{"amount":"+0.7365255951881409","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":"Q1183547$EFBE93C7-EAD9-440F-91AA-4F47016886BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic autoprojection of recursive equations with global variables and abstract data types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automatic_autoprojection_of_recursive_equations_with_global_variables_and_abstract_data_types"}}}}}