{"entities":{"Q6535701":{"pageid":14146844,"ns":120,"title":"Item:Q6535701","lastrevid":57343881,"modified":"2026-03-30T14:05:28Z","type":"item","id":"Q6535701","labels":{"en":{"language":"en","value":"Making \\(\\mathsf{IP}=\\mathsf{PSPACE}\\) practical: efficient interactive protocols for BDD algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7798110"}},"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":"Q6535701$A31E568C-14E7-4A3C-936C-E5AE68EF017A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"89f9e858ca121fd70fb3613f3e7a8add2d63ed15","datavalue":{"value":{"text":"Making \\(\\mathsf{IP}=\\mathsf{PSPACE}\\) practical: efficient interactive protocols for BDD algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535701$F595EBC9-B818-4DC3-94A5-01509136F7C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd33837e9af35a8bbd558b36e489c250633fd866","datavalue":{"value":"1547.68221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535701$17FD129B-F16F-457D-A5AE-897F900C7875","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"00695366676e847a5c17704c08852a43445acb30","datavalue":{"value":"10.1007/978-3-031-37709-9_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535701$1883D45A-273D-4F27-BC7F-5B866D70B511","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebaa30ba0709dee278ea73989fccf76cc8c4e2bc","datavalue":{"value":{"entity-type":"item","numeric-id":6535700,"id":"Q6535700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535701$7991D620-025F-4497-8C22-1B5BADD5C612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bed9a173331827402c240564924c81cb349a052","datavalue":{"value":{"entity-type":"item","numeric-id":2233401,"id":"Q2233401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535701$EBD5F9AA-A72A-41B5-AFAF-DEECD361FFED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e47b8a1818346ce22bd45f99ec3c619fd43a6a3","datavalue":{"value":{"entity-type":"item","numeric-id":264200,"id":"Q264200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535701$2C8674DB-0D46-45A6-BD24-3E498F819941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd27e91c4471a6c2f2d14ef8212c1a71ddfcbbaf","datavalue":{"value":{"entity-type":"item","numeric-id":453531,"id":"Q453531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535701$47B308FE-1DAA-4536-9B26-AFD4F6F5ADCF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee76859de6cb7315119a0b9d8fb63ade5f4cb1a2","datavalue":{"value":{"time":"+2024-02-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535701$E433FEEA-46D5-4CEB-AE82-B914129DF941","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ff42dddfe5f41df416984cf4dad89a0ad78ba0b","datavalue":{"value":"68Q11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535701$CD62B606-6C1C-49C4-B1A2-BBF1A2E84C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535701$AA46B9F4-814C-44C9-A439-3B3010DC5A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535701$603B5ACA-F36D-4E66-B7E9-8016FABE94ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9b4a56270dab9ee391f9ad7c702ddb37379732a0","datavalue":{"value":"7798110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535701$9ACB62D9-90B9-4020-A820-8368B7631D49","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":"Q6535701$3BC11755-6209-446F-9CED-5376F7F7B2D1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8653d2e6f53b17cedec7b9470bcf88609d4f1f","datavalue":{"value":{"entity-type":"item","numeric-id":5320667,"id":"Q5320667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535701$28855486-168D-46B1-AB14-FB2B8EF631B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1df79eccf9b3fe480906a64470a2d0251e219797","datavalue":{"value":{"entity-type":"item","numeric-id":3192061,"id":"Q3192061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535701$2827C887-E569-4631-956A-0432F8F4BBA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bbbd10679bf2d321eb9db870479cc35412cbd39","datavalue":{"value":{"entity-type":"item","numeric-id":2104495,"id":"Q2104495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535701$9FEFEC26-8F5C-4514-B9FB-F80429C0135F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e888fb78ba97027224f202b9ce76c32dcc8f7b8","datavalue":{"value":{"entity-type":"item","numeric-id":5750398,"id":"Q5750398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535701$863AB522-DE07-4FCD-BDD8-68FFD3A6B2B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd26a49f6d2b0050cb8ce4d6818c9163692b9363","datavalue":{"value":{"entity-type":"item","numeric-id":6535573,"id":"Q6535573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535701$E07D033A-CC8E-4205-8AC6-58E9A197234B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ac67e7445b37b0c19a3f9b56c95ac7b86ccf433","datavalue":{"value":{"entity-type":"item","numeric-id":2055876,"id":"Q2055876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535701$7DE23F92-8695-4F30-A278-3744F0141060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2460d834fdbd5dfc5763b880e0a3eed5bed6624c","datavalue":{"value":{"entity-type":"item","numeric-id":2044191,"id":"Q2044191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535701$B0CA25A2-047E-4838-83B2-52BB62C5FA50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535701$A1BAB4AD-6A4A-4CA3-8ED3-08EA0668062F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b4feb58a2ab8f89621eb4513d36fed4a40d625b","datavalue":{"value":{"entity-type":"item","numeric-id":4365519,"id":"Q4365519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535701$C637CCBB-9BB4-4AD1-A2BB-3F490CB642A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ada1809381f98716513d6e2527d3dd471ebbf1ef","datavalue":{"value":{"entity-type":"item","numeric-id":4804923,"id":"Q4804923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535701$C9C47220-7095-45AA-83FE-F812DD0F673B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98b011ab831949ce741780553369025dd5b73c2d","datavalue":{"value":{"entity-type":"item","numeric-id":5148371,"id":"Q5148371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535701$459F9753-1CD2-4F8D-B8C9-EBC678F003B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd73ca6e418060dc9aa1dc7053b40ae99fececfa","datavalue":{"value":{"entity-type":"item","numeric-id":5756562,"id":"Q5756562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535701$076F4B8C-8AF1-4649-A5AB-2B346AFA1D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a555c78e813a5bcccbb1c854682ba4748e2c2baf","datavalue":{"value":{"entity-type":"item","numeric-id":2405263,"id":"Q2405263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535701$5450A7A5-D33A-41EE-BE89-B69327C2D327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37ddc25bc6ddeb4fef28927db93d392a886040f2","datavalue":{"value":{"entity-type":"item","numeric-id":4302792,"id":"Q4302792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535701$60BA6E5E-FDA3-4507-935E-DBDD3EB74DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed7f5135c5ce9e5fab4f02c906a9b2b56f6abaf1","datavalue":{"value":{"entity-type":"item","numeric-id":4553254,"id":"Q4553254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535701$4384CD52-0AB1-4DEF-9169-C17A949199B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d268b2809bbcd70c788c93a5e38330e04b05334","datavalue":{"value":{"entity-type":"item","numeric-id":4302793,"id":"Q4302793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535701$85577882-E956-4532-8645-EDF338DB34A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a75db9bdf4ecf4e316a158af7db19da7d850d73","datavalue":{"value":{"entity-type":"item","numeric-id":3434726,"id":"Q3434726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535701$79BB6D55-3979-460B-A290-5A5EB97DF904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6634fe5c56d92a8492dc0b14f99111a283a93ab","datavalue":{"value":{"entity-type":"item","numeric-id":2181947,"id":"Q2181947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535701$82FDA021-F077-4EC0-8FAD-198FEDF383A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d02669fdf51b16e1d5ef7cfdab3e5eb16deaaaf","datavalue":{"value":{"entity-type":"item","numeric-id":4011253,"id":"Q4011253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4d5ed05afb79e448cde6e96389c4747ce6a4afc","datavalue":{"value":{"amount":"+0.7844431400299072","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":"Q6535701$9365471A-0F5E-42CF-824B-0C94FD6BCAAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"768d8db91f12246dee4ba08b4b704f41223f7dea","datavalue":{"value":{"entity-type":"item","numeric-id":4302793,"id":"Q4302793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c281d116ce040bdfa37557b742bcd480d93e5b06","datavalue":{"value":{"amount":"+0.755058228969574","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":"Q6535701$1A2C3004-D218-48C9-9F01-A9090280D15E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"059cc68d49cdacf8d2c2851a1105aecfb5543c12","datavalue":{"value":{"entity-type":"item","numeric-id":2849387,"id":"Q2849387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbcb00cc929038f9799ba4bdbec6a44c298041eb","datavalue":{"value":{"amount":"+0.7531206011772156","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":"Q6535701$F1CB7599-160C-43E5-85DE-C2430C8459FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d363b062e0a8824b921665778c88db6292480c5b","datavalue":{"value":{"entity-type":"item","numeric-id":3549691,"id":"Q3549691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"231fa79171e493f5f00e82abd778963e24a698ba","datavalue":{"value":{"amount":"+0.7392628788948059","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":"Q6535701$80B802C8-57EA-4622-AA2D-29E571AF495A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84233ef0b899d63bedb1ef72bc4077dce8b769fe","datavalue":{"value":{"entity-type":"item","numeric-id":4302790,"id":"Q4302790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bab232e4bf4d6f3fb95721a66d6466dd0f6c1218","datavalue":{"value":{"amount":"+0.7390899658203125","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":"Q6535701$77F1F66F-C314-48E0-94FE-E4338FA3CD7D","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535701$223A9CD4-D525-4A4C-AB9B-5E024691BD69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535701","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535701"}}}}}