{"entities":{"Q2956689":{"pageid":2967408,"ns":120,"title":"Item:Q2956689","lastrevid":79611086,"modified":"2026-05-06T14:19:19Z","type":"item","id":"Q2956689","labels":{"en":{"language":"en","value":"An algorithm for reducing binary branchings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6676177"}},"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":"Q2956689$9ADDD008-213B-4779-851A-5E3BA7BAB30F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"426641e12c08a399828fe540e4fed38d7addbfc8","datavalue":{"value":{"text":"An algorithm for reducing binary branchings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2956689$939774DD-1462-45C6-AF79-0E7E6791A818","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e1f3cdbb9365f2355b35c5228a9cb2d0572e167b","datavalue":{"value":"1354.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956689$5F86D332-45AE-4821-BDC1-F886AF81B94C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"58cb9084ccf0e8e1010c8a324eafff09c1f0949a","datavalue":{"value":"10.1007/3-540-60692-0_55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956689$E3B2F258-035E-48B6-85F2-7F823C8A94C2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41a999eac357ddf615d21470a6c8b114752bc50b","datavalue":{"value":{"entity-type":"item","numeric-id":1185018,"id":"Q1185018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2956689$D22DEB23-D852-4DE9-9C52-E56704A641DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de5a23818fe5976711a6ef2e14e0aeefe415bdb5","datavalue":{"value":{"entity-type":"item","numeric-id":548694,"id":"Q548694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2956689$8A39BA3F-C0E2-4E71-B27B-58FF9E8B59B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"42e3a12a64611dab07d8aeb77abf4493285ad1ab","datavalue":{"value":{"entity-type":"item","numeric-id":236319,"id":"Q236319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2956689$E3A74866-E659-48F0-8AA3-77D604B88ADF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2956689$EE01FC29-8C34-4019-A641-88326A777C6B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"300acc7309ab8a260436b7e7ac046dd31b269120","datavalue":{"value":{"time":"+2017-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2956689$50B8FE2E-31FB-46F1-A324-0000A22BA108","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956689$7141191B-E175-4F81-A343-6C235896C975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956689$9C3EEAF3-2A16-4181-9CF1-A27C31632E34","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"741b11f6b2497fa11e791353c1413729748a1514","datavalue":{"value":"6676177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956689$EAA5BBA4-00A1-44FD-9CDD-6882D2A04CED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7665d7c64e1f2d6e537f84467b72318e68201059","datavalue":{"value":"object code optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2956689$C156B0E3-CF6A-4B1F-AFD0-7006F580A32C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ace8bf4699cb64394d0b2677300163ec8dcbc25","datavalue":{"value":"observational equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2956689$7D450131-031A-4321-B92A-C02D5A7556B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd9b2a3518b3368f454280823b6c10425f0a72b3","datavalue":{"value":"on-the-fly bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2956689$DDA98D00-1EBB-4EEC-8950-2BFEC5E36D1B","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":"Q2956689$18D55C00-BBD8-4373-88A7-0EBCBE4036EB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"abd3725b70fd60394174f8f58a33027dc04f01da","datavalue":{"value":"https://doi.org/10.1007/3-540-60692-0_55","type":"string"},"datatype":"url"},"type":"statement","id":"Q2956689$576C6AA8-8385-4632-9DDA-B7D070F3252F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3db4f2edff1c06d82d79125fb724fee5af952328","datavalue":{"value":"W1495839963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956689$CC2C6112-268C-4974-8D94-20D4A4FE10BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42b99988c29526499bf3a2d5237eb94f2da82cf6","datavalue":{"value":{"entity-type":"item","numeric-id":3330482,"id":"Q3330482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0fa2c0c6c0e5db2d2a4983f4f129d726af24d3a","datavalue":{"value":{"amount":"+0.707290768623352","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":"Q2956689$F322F9BC-A900-4E41-BFFF-C2C9AE82227E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eb4cec045972da0de9f48742121bb34be5ab3e1","datavalue":{"value":{"entity-type":"item","numeric-id":922711,"id":"Q922711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6adfc133f1566eb5c0a7d52d4fe8033f8cd07fc","datavalue":{"value":{"amount":"+0.6809035539627075","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":"Q2956689$F8591E2A-6B52-466A-B0C7-37037EA5794B","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":"f35787ca0da6fa92c853c59855d5d1138444b1aa","datavalue":{"value":{"amount":"+0.6755618453025818","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":"Q2956689$C863467D-B75C-4CC7-BCE6-FAFB7A449250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9da80b34dc55776198b36dab2de7a0d369dd0f3","datavalue":{"value":{"entity-type":"item","numeric-id":5164166,"id":"Q5164166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"928e073c502569f4c02227f50ef4bc7af64efc17","datavalue":{"value":{"amount":"+0.6723889112472534","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":"Q2956689$FCD4E9FC-766E-489A-9433-5070605AF1C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"621763d2bfb992ce18e9e3845d29725f48ce8a2c","datavalue":{"value":{"entity-type":"item","numeric-id":4485697,"id":"Q4485697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d70790dded4b6dc0714da3d927efe2542a67bcfe","datavalue":{"value":{"amount":"+0.6719223260879517","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":"Q2956689$6606F338-7543-4A31-A897-D270C9D58D11","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An algorithm for reducing binary branchings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_algorithm_for_reducing_binary_branchings"}}}}}