{"entities":{"Q832201":{"pageid":834049,"ns":120,"title":"Item:Q832201","lastrevid":64706796,"modified":"2026-04-11T21:41:00Z","type":"item","id":"Q832201","labels":{"en":{"language":"en","value":"Computing bottom SCCs symbolically using transition guided reduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7498153"}},"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":"Q832201$78FA070B-8B4C-4C0C-9CD0-58CDD6678E29","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"31bc782dd6c205c3d478f8e4bc4c4b67787820fe","datavalue":{"value":{"text":"Computing bottom SCCs symbolically using transition guided reduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q832201$C00DB420-705D-4770-9DF6-9F7C9B5D13D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2301b72b1d7dd8a8397fac7af9cf2006d51efc32","datavalue":{"value":"1493.68240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832201$858BF41D-D51D-4503-98F8-4C5620D49D4A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bcc06114a13afc955dfa5c293687c8de9a08e363","datavalue":{"value":"10.1007/978-3-030-81685-8_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832201$C13E277D-E25E-4521-AECE-DCC86C381856","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8fa84f57d804aaf31f58858be616d04e3d77b666","datavalue":{"value":{"entity-type":"item","numeric-id":282092,"id":"Q282092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832201$A3875164-2454-41AA-B5ED-D2C4CE4AE308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9b09522aaee1c72f01701b4e5032b55d6618dfd","datavalue":{"value":{"entity-type":"item","numeric-id":282093,"id":"Q282093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832201$F3C7B082-261D-42E1-A19E-DE3799420934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab7785e5c27e59a61a01e5cd31f701b7740f2c10","datavalue":{"value":{"entity-type":"item","numeric-id":832199,"id":"Q832199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832201$84E2BF46-2CA7-4E43-A30D-6875EF389F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"98c891e2c7c8bb10a79e88f50e061e3624273d02","datavalue":{"value":{"entity-type":"item","numeric-id":832200,"id":"Q832200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832201$EDA66BD9-F977-4B82-824F-BAC1D4D72CC0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"26426ab4d5a6ecfa201abc41ba9257e3996155a5","datavalue":{"value":{"time":"+2022-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q832201$D942420E-9F5D-4125-89E1-E1033DF58EC5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832201$8A1D4993-932E-4C6F-8D24-BBE12D2B4654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832201$2E6F0947-35F7-4B41-B926-00851AA27009","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6375a21797a37a963aa28095297f20f2184b4197","datavalue":{"value":"7498153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832201$745FF8A6-803E-42C3-9EE2-968E0BE480C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1c302a19ce9918ed6f6feec75bb5100c0d20b07","datavalue":{"value":"bottom SCC","type":"string"},"datatype":"string"},"type":"statement","id":"Q832201$47E4EFAC-4D73-4443-B3BF-78F881AA737B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9e70ed05b15048e95a2588125d08a425741e5c8","datavalue":{"value":"symbolic algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q832201$2B7B5586-3A2B-4923-864B-BD5D8C5B8E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f6431e310e090fe97361f088745548038d3eab9","datavalue":{"value":"Boolean network","type":"string"},"datatype":"string"},"type":"statement","id":"Q832201$5405EFFB-5B64-43E0-B396-D2DFC7DF4F4A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"268b07ac4f303d090d12dbd9714073b10bb96cf5","datavalue":{"value":{"entity-type":"item","numeric-id":21083,"id":"Q21083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832201$1B410476-9532-448D-AE5D-5C776A0BFE90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7655d44176eb7f078edc770c64a764869004ec6d","datavalue":{"value":{"entity-type":"item","numeric-id":46870,"id":"Q46870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832201$17196C2F-02F3-415C-963F-118DEC3ECF85","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":"Q832201$41EFBC81-23FC-4DAB-A4E1-2795D2338FBD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c55fd4624aafbb4e40527e2b51a692398e400b03","datavalue":{"value":"https://doi.org/10.1007/978-3-030-81685-8_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q832201$D46FD769-F243-4ACB-8F10-1AE231F1251A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1c39c9809dbe4faa6fb087690e459c37d7ec28ec","datavalue":{"value":"W3183793525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832201$3AFE0E5C-F630-487A-9A18-A809719889D8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8868f6d15c6a7c9c5d4851ff39f1e1ce553b8678","datavalue":{"value":{"entity-type":"item","numeric-id":2225126,"id":"Q2225126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832201$82F82CEE-8334-4FB3-88CD-1C627DB6672A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d446ed6ff486c2a3afc17c761af1dd34bbd56ab6","datavalue":{"value":{"entity-type":"item","numeric-id":5239225,"id":"Q5239225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832201$780BE4C3-5E6D-4BD7-B156-4CAADF1D6519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fde643d6528b9759054a68d56fcebc030f48ef7e","datavalue":{"value":{"entity-type":"item","numeric-id":2505621,"id":"Q2505621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832201$025E7525-4A6F-4EA8-97BB-2F01C0A3E0D4","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":"Q832201$E532361E-3CB2-476F-B4EF-E0269542B6DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38e1075ad982b075ef8bc7448ff80a41d820f94c","datavalue":{"value":{"entity-type":"item","numeric-id":1400291,"id":"Q1400291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832201$E040E8E0-BD4D-4E5C-8882-9E4648134B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be7be3a1c12d8a2107e54b9ab3541aa3db5a4489","datavalue":{"value":{"entity-type":"item","numeric-id":6151158,"id":"Q6151158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832201$1FCF3243-ED7F-4431-8F9F-8820CFA58547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95047e77cca0171a41494dac1fbd8fcdaa979b41","datavalue":{"value":{"entity-type":"item","numeric-id":4608046,"id":"Q4608046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832201$8B544A01-461E-4A71-BD44-39B0CC96AED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4ffa9af707a9034e194333cec43fea04e458a9c","datavalue":{"value":{"entity-type":"item","numeric-id":2769596,"id":"Q2769596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832201$16196F69-6A21-4E74-B03A-E8B4E7EACA94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1992fc48da4fa05a2949611df42e5d2c49e243eb","datavalue":{"value":{"entity-type":"item","numeric-id":4471346,"id":"Q4471346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832201$F3421211-20E4-43BB-BA18-D6ED2640DC4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b29284a8e92eb1c8ab0612aa6f6c5afd70e318b6","datavalue":{"value":{"entity-type":"item","numeric-id":3101294,"id":"Q3101294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832201$65BF5EDA-967D-4443-B23A-B1BD58A4FBDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6347480b60710042791322670a2c2cd9e3429d1","datavalue":{"value":{"entity-type":"item","numeric-id":2003486,"id":"Q2003486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832201$3365E2E2-E260-4D81-B8A4-74D837937B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0840a97ff84a8bbb1684d812172c86ef7c121a6d","datavalue":{"value":{"entity-type":"item","numeric-id":5897798,"id":"Q5897798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832201$F57A53E8-876E-433C-B43A-0AD192C1E4AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e1b7accd6260c35896c451c3d39835f1b58d0a2","datavalue":{"value":{"entity-type":"item","numeric-id":5919640,"id":"Q5919640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832201$504F1E05-9A6C-4487-8EA6-0337FFB3A161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab66f769f73b58695ae4f2b50b79ae62732159aa","datavalue":{"value":{"entity-type":"item","numeric-id":5326352,"id":"Q5326352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832201$ACE8118D-966C-4A2C-A0CE-B3152EEB6DD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"370c7885127a9043ae33dbebb5cb7103b1c1553c","datavalue":{"value":{"entity-type":"item","numeric-id":1726130,"id":"Q1726130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832201$F7E8D6FA-F2C2-48B2-90C3-A6C8F4D9E0A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15404ca7ab9a9520282c6cd119342e8e472a8d14","datavalue":{"value":{"entity-type":"item","numeric-id":2233494,"id":"Q2233494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4eabd7c1bcc9ee5126cda28e3c7a56ca24e1905a","datavalue":{"value":{"amount":"+0.7286058068275452","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":"Q832201$A86D896E-0E15-422C-92E7-7AD807796A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b83b76a0b5ea7278c4201fd88e14f885e3f7b5b","datavalue":{"value":{"entity-type":"item","numeric-id":4427897,"id":"Q4427897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaf0272a04cca445bd6eb34d19eb9df33388ca52","datavalue":{"value":{"amount":"+0.7099649310112","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":"Q832201$173E8611-2316-4663-A4E4-2C0283856376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7ce8dbc387940943b7e5a96ab86fc3bbf932943","datavalue":{"value":{"entity-type":"item","numeric-id":4471346,"id":"Q4471346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33b5c2182f4d6d311951bd70fd2e739a74734a0c","datavalue":{"value":{"amount":"+0.7063712477684021","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":"Q832201$4D235920-C976-433A-9330-0A39F17A70B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1477e04c04b1b757d264e414e546c415932a7fc3","datavalue":{"value":{"entity-type":"item","numeric-id":4608046,"id":"Q4608046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c208ec14a41e6ba92a4e1ab68ce17605141e6e4","datavalue":{"value":{"amount":"+0.7060233950614929","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":"Q832201$E79E1F80-0F04-42E6-9459-9CD872E70F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a93b7b5d2eb83366ba5ff8edd52e0f0998e49a61","datavalue":{"value":{"entity-type":"item","numeric-id":2505621,"id":"Q2505621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f8b479b8e1ad92bfaab7eb3a00a7ef97d08b8c9","datavalue":{"value":{"amount":"+0.6954194903373718","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":"Q832201$1BABA946-C002-4C8F-B299-6AAB9A6778A2","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":"Q832201$C6A40D21-BD76-441D-8F72-1A964D3DC8FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computing bottom SCCs symbolically using transition guided reduction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computing_bottom_SCCs_symbolically_using_transition_guided_reduction"}}}}}