{"entities":{"Q1058504":{"pageid":1060352,"ns":120,"title":"Item:Q1058504","lastrevid":66159348,"modified":"2026-04-12T07:56:54Z","type":"item","id":"Q1058504","labels":{"en":{"language":"en","value":"Tunable binary procedures and programs with loops"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3900679"}},"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":"Q1058504$EB59D9D2-350F-4762-AA41-C4EA9EA01957","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"64c6fe188f42725f3d93d42006147e8d8eccbacc","datavalue":{"value":{"text":"Tunable binary procedures and programs with loops","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1058504$5674A37F-5649-469B-B14D-DC4D23535243","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1438e7134a1e00ad1387e8e113f992dc6b63e3d3","datavalue":{"value":"0564.94015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058504$2F8CD491-236B-45AF-BE49-CAABCF4D08AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1660945c2d830e107dd0d64a08204d241b7e694","datavalue":{"value":{"entity-type":"item","numeric-id":1058503,"id":"Q1058503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058504$31F00BF9-F8FB-4EF3-85A8-CA5D9B5557DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8307b3e4ce9150629a32b00b1258759f07ca50a6","datavalue":{"value":{"entity-type":"item","numeric-id":677359,"id":"Q677359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058504$73D1B8ED-AE06-41A6-88C7-26BDF439B160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"042e626c6e4ede7bfcee17c7abf7ede76fd7918e","datavalue":{"value":{"entity-type":"item","numeric-id":334219,"id":"Q334219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058504$586EC517-1235-42A4-A800-8478EAF19CAA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"33359fd8a77e9cce0cfaf7c91dc047e11a0fed75","datavalue":{"value":{"entity-type":"item","numeric-id":109332,"id":"Q109332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058504$B9D24702-9ABA-4FAA-A144-91578ED40AF3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q1058504$F75FC116-DA1D-4C02-BD21-24E2B295EFAD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e0522038d6157517edee9e94c34797b0f1981419","datavalue":{"value":"A method is proposed for the evaluation of a system of Boolean formulas using a program with a loop in which some parameters generated by a previously created array are successively passed to a special procedure. The program with a loop is termed a cyclic binary program, and the procedure is termed a tunable binary procedure. Basic design principles and complexity bounds are considered.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058504$C0AC8BB4-78CA-4A53-ABDB-5599C17477A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058504$496F9975-D2C5-4C01-92EF-677CFB184F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058504$50B8533F-9BB4-418B-A874-40B482AC5FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058504$C29CAB53-9557-46F1-B512-812A7B1D75FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec4eac74aeed8e55b1af3ef45e12bc24b532f6b4","datavalue":{"value":"3900679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058504$6F89F66F-B571-4060-A96E-8F888A78DF26","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afebd5a94dd36324955f7b494dd191b4446e66aa","datavalue":{"value":"program realization of systems of Boolean functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058504$D3296BA2-3FA4-4DCB-8206-75E599CCE2DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"061b094e10660e6794c19eef07d9619fe5b6cc9c","datavalue":{"value":"evaluation of a system of Boolean formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058504$C52A502B-12AE-4006-BE95-7526BCEA5FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"900449d9c111228b32b61aefc4917c5119284013","datavalue":{"value":"complexity bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058504$8DC51EBB-4101-42A4-B26B-3D4BFFCE7FD6","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":"Q1058504$4BBD3329-93EA-43B7-B1E3-10F2150C60F5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1163d63e03256b5af6d3fbb71c322cb9cc66240a","datavalue":{"value":{"entity-type":"item","numeric-id":2058706,"id":"Q2058706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83a38ff7c3b722f5875546a1ca5b5c6becab3090","datavalue":{"value":{"amount":"+0.7389330267906189","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":"Q1058504$E0A13AB1-65F7-42B9-875C-FCE67ABB823D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1a32d6a796ef423136fcd51d94e229a1938e93e","datavalue":{"value":{"entity-type":"item","numeric-id":3712244,"id":"Q3712244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9ed52473816b4911edcf54beff4955c0d1c983b","datavalue":{"value":{"amount":"+0.6979666948318481","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":"Q1058504$5FF6251A-CF8E-48C8-A9CF-45E29DA0F4B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eca7d5fb21ac698af9a995236801c185f9fb34b7","datavalue":{"value":{"entity-type":"item","numeric-id":677360,"id":"Q677360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a46cca4d9c4fc881eb6fe82169b1e8d55790cc7","datavalue":{"value":{"amount":"+0.6931360363960266","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":"Q1058504$9C909D73-0D96-4508-9102-15346B22D797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"151e5d5921e76c5e64c1dfdff233ab1c58156080","datavalue":{"value":{"entity-type":"item","numeric-id":3904537,"id":"Q3904537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73b7e584993b18e7a2c97cc42fce0363f4f75348","datavalue":{"value":{"amount":"+0.6879560351371765","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":"Q1058504$1B9B5A84-A900-4901-AC80-877A98C74463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"227006d553d1d4e4d47c4f1c69d53dded725e74f","datavalue":{"value":{"entity-type":"item","numeric-id":1922443,"id":"Q1922443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"269c3e30597779027c4f72b68e90ee0bc7fa040d","datavalue":{"value":{"amount":"+0.677488386631012","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":"Q1058504$98BE5268-AE62-4B94-B825-EC82FD1F3F36","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tunable binary procedures and programs with loops","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Tunable_binary_procedures_and_programs_with_loops"}}}}}