{"entities":{"Q5295516":{"pageid":7325090,"ns":120,"title":"Item:Q5295516","lastrevid":100735220,"modified":"2026-06-05T22:58:53Z","type":"item","id":"Q5295516","labels":{"en":{"language":"en","value":"Improved decomposition of signal transition graphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5175532"}},"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":"Q5295516$6D3E83EC-24D3-4C53-ABD1-4BFB90136E3A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b879b453bd46f3d63a93af8d98296a92b4185f8b","datavalue":{"value":"1138.68472","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5295516$75B2F360-D6E3-4014-A96D-98B911F5CF4F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c57581d28498e8818d0b1212704ab758222b8317","datavalue":{"value":{"entity-type":"item","numeric-id":5295515,"id":"Q5295515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5295516$F95C6FC0-497F-45D8-9FFC-6DE83C43CEA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f747afa3575ea8e92f39fe28bf85bb3ce76cb341","datavalue":{"value":{"entity-type":"item","numeric-id":396978,"id":"Q396978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5295516$B14237E3-5797-46F6-892B-649DA4E96DD5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"10398fb57e59b96789dfd6595f6840426241aa39","datavalue":{"value":{"time":"+2007-07-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5295516$68FF1918-E80F-40F2-B3F0-7D51B8F0D5C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5295516$BA0DC902-1B50-4878-80A3-40C103A183BD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a6d564a1d891fe943ac6b4ac280bdd7a5e5e255","datavalue":{"value":"5175532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5295516$E55189A3-5F1E-4D8E-A587-B333CAB8F4A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ed9d7e915456bbb5f7509634877eda454bb9454","datavalue":{"value":"concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5295516$672E055F-F2CC-441D-84CA-C5AADD1762EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5295516$577FA16B-DAFE-4497-BB50-4B19978B1DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fe85ae8d4a7293b26db13c88d4f499a668dd17e","datavalue":{"value":"asynchronous circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q5295516$A0C7D85A-3331-41B6-B2BF-D7F24CCEE1C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cfb1bb98cc0d6a6be920bc401f6938c174a39f1","datavalue":{"value":"signal transition graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5295516$291B800F-9ADA-4B7A-950D-8B8B380811F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"615f2a3773e3a9a3bad386a540fbc6c58cfa22ee","datavalue":{"value":"decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5295516$079FAE82-A61B-4E9C-A5C2-16FA46A82773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"393bb7fc1200bdb5fae70dc2bfeb4bb344763706","datavalue":{"value":"modular implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5295516$4A4C758C-5DA8-4CE6-90BA-CF460CC303D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ab914e4b1ee636749aaff08903c675f2353b5ff","datavalue":{"value":"state explosion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5295516$31E0CBDA-957C-4814-97D3-02C32497532B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"11bd7e841686e94486d1ce661cc207d267998047","datavalue":{"value":{"entity-type":"item","numeric-id":14124,"id":"Q14124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5295516$3B21F3E4-AEB1-4447-804B-1767518CA1A4","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":"Q5295516$DF7852FF-6FC8-4E74-BE2B-8B6D73528C53","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c1cbfc2fa8fb60759721e3d2670a8285feef2c0","datavalue":{"value":{"entity-type":"item","numeric-id":4415268,"id":"Q4415268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c95c5d50d5d3bf188f425a47537bb9f3098a41ae","datavalue":{"value":{"amount":"+0.942560374736786","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":"Q5295516$489EB5EC-0941-4CB5-AAEC-4045EB7C22F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e19965666b9bcff4e11c62e06bbe37daa1c79e6e","datavalue":{"value":{"entity-type":"item","numeric-id":4417602,"id":"Q4417602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"451532012d9d6c6fe98351e83e156e7c26ae3003","datavalue":{"value":{"amount":"+0.9059036374092102","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":"Q5295516$89AF7B62-3750-45A1-9F79-567A1A46DF0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93484c390dd35e09aa502bde5a213ed235e3eeac","datavalue":{"value":{"entity-type":"item","numeric-id":4824480,"id":"Q4824480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"451532012d9d6c6fe98351e83e156e7c26ae3003","datavalue":{"value":{"amount":"+0.9059036374092102","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":"Q5295516$CEB26AA2-D202-4057-96BA-A9D23B77A0F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b37a417ac0f7653ee79e8520a0570faefb543e34","datavalue":{"value":{"entity-type":"item","numeric-id":2464945,"id":"Q2464945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d12d27dabdf2b77ed546668af11f44fdc66497bd","datavalue":{"value":{"amount":"+0.8834338784217834","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":"Q5295516$D8102C83-C1D2-49DE-8674-403FEDDEBEB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e82c7d7c405a3e1951ce8c6569b85a57dd3d390d","datavalue":{"value":{"entity-type":"item","numeric-id":5705893,"id":"Q5705893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3c1a6663283669e50b4288c44885e9247c468ce","datavalue":{"value":{"amount":"+0.8795375227928162","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":"Q5295516$E989F4E9-1C6C-49A3-BB76-25857F306CC8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Improved decomposition of signal transition graphs","badges":[]}}}}}