{"entities":{"Q4635793":{"pageid":6665374,"ns":120,"title":"Item:Q4635793","lastrevid":53070749,"modified":"2026-01-24T04:11:11Z","type":"item","id":"Q4635793","labels":{"en":{"language":"en","value":"Complexity bounds for sum-product logic via additive proof nets and Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863379"}},"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":"Q4635793$F8C1E34C-9EA3-40DD-AE39-7D4778E5B92C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9c3e111dbf77a44ea3ca4335f039ed3695558d58","datavalue":{"value":{"text":"Complexity Bounds for Sum-Product Logic via Additive Proof Nets and Petri Nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635793$D72C5C41-645F-4C0E-AF87-FC74D4851D2A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13d0e9b8206960a9514e77870cc5a557f36f7c08","datavalue":{"value":"1394.68251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635793$1C67AF73-BC47-4ECC-9690-BB662E427B79","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"23bc9f60810e5190cf614a5b813a756d44c3d403","datavalue":{"value":"10.1109/LICS.2015.18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635793$EF23EB9B-CE40-48B9-A252-5641494755A2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3692c76e27dc49b695ca2d8a287922220322cfc","datavalue":{"value":{"entity-type":"item","numeric-id":636368,"id":"Q636368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635793$4130987E-5A5C-4A61-A021-4EBB6AD01F8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"91f5c09b5145beb9895e9a35451f643e912c82f0","datavalue":{"value":{"entity-type":"item","numeric-id":1936109,"id":"Q1936109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635793$0D98660A-905E-494F-9392-145417BFDAF4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"83d65420a138b2c4ae4851502a73366edaf00743","datavalue":{"value":{"entity-type":"item","numeric-id":4635786,"id":"Q4635786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635793$E4B66783-E6EC-475E-9353-8254D31A1648","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635793$BE8B4B29-EA69-46F2-8144-63C4E5ACC2E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635793$7E7850D0-7E86-40D7-8419-F621003486C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635793$1EA58931-5507-4A8C-9F9B-011E17E95DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635793$5FA3B7CC-4051-4365-8D7D-A7E58BD95958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635793$0A2246B2-E871-4141-B9CF-F95B22CBB95D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635793$966DC97B-3CC7-4D11-9684-A305A3A56200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635793$E4E1E672-6735-4735-97F7-5CAD7C8BE45D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"539e95aa5c56a3c4f3af1db891d62a61a71492b2","datavalue":{"value":"6863379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635793$6CD3FEC8-7651-4EF8-B47F-A532801815A1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ece2bdad6a4be7cfe5b845bf79a689249216a8f0","datavalue":{"value":"search problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635793$6585781F-9B77-43A1-8E5C-F13BAA41F4C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635793$3341B2D8-0CC2-498D-8E7D-0A31FC992505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd6f648bd1eeb66cc548d9608d64c3a3e1ea7e29","datavalue":{"value":"formal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635793$1717C095-7E00-4570-A9B4-64FE6F0D146A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8836868e1c908239a96965e3f22c08df855770f0","datavalue":{"value":"game theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635793$C569B1E9-259D-4615-9655-109FE1F1162E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635793$88A38BDC-05AD-4F68-B007-C4FA6552A336","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":"Q4635793$E5639EDB-66DF-48CD-8328-8E4F07D013AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"04e08d4b1d7a825c9cda3eac190715772a118266","datavalue":{"value":"https://doi.org/10.1109/lics.2015.18","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635793$776C065F-2E8F-4235-BF05-6F1AE653A247","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d81d61d90132dcad18fed81fdceea602014bc371","datavalue":{"value":"W1583145637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635793$926009F1-DF48-4F49-8E38-6BE425B6526D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"46d4990bb7899a42ac4f9e2e06f8fde853be6475","datavalue":{"value":"Q130866213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635793$DF3DF119-92ED-4568-84EA-73BBF86D6D04","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eab092b3ac30e77528473bf7ef103db191ec0aaa","datavalue":{"value":{"entity-type":"item","numeric-id":1899147,"id":"Q1899147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52e06cb1c73c36f28adaf57c8ad1d37ccbdb2602","datavalue":{"value":{"amount":"+0.7609007358551025","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":"Q4635793$9FA0C20A-87D6-4619-AE35-BCD088B2FA10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90cb267d11e24349bb9f2dfd2f5edc94b76cae13","datavalue":{"value":{"entity-type":"item","numeric-id":1044841,"id":"Q1044841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2b4e147b1cb5ffd27ba79797cbdcc35287b5335","datavalue":{"value":{"amount":"+0.7599645256996155","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":"Q4635793$D6E37CBC-3DA0-48E3-9E91-49F9DE19627C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5dbe36c91c42d4232064bbef7e938668da518b9","datavalue":{"value":{"entity-type":"item","numeric-id":1361243,"id":"Q1361243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f10022e6e12e601d9626f5c088207813941e8118","datavalue":{"value":{"amount":"+0.7574920654296875","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":"Q4635793$64D27164-7234-4A21-8733-DC23EACF1700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66b92e0c5e37d8649b02e898e82086aff0c3e28a","datavalue":{"value":{"entity-type":"item","numeric-id":4222837,"id":"Q4222837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31d6fcdba2deab1c097af2a134a7bc7bfafc2156","datavalue":{"value":{"amount":"+0.7570751309394836","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":"Q4635793$49CDA31D-742A-4634-B6C9-9DFB47A5307E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69fa9f9e22a0173d494b8d67994074a7470b6c09","datavalue":{"value":{"entity-type":"item","numeric-id":5897348,"id":"Q5897348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d2729467018ef2071f02a6136c8efac43de9805","datavalue":{"value":{"amount":"+0.7562499642372131","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":"Q4635793$23C70E5E-CAEE-4574-9073-C2880A50DDB8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635793","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635793"}}}}}