{"entities":{"Q7411925":{"pageid":32533608,"ns":120,"title":"Item:Q7411925","lastrevid":108206736,"modified":"2026-11-03T16:44:45Z","type":"item","id":"Q7411925","labels":{"en":{"language":"en","value":"Discrete semantics for reversible transistor network verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8277082"}},"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":"Q7411925$9A271668-ADC0-406A-A3EA-E8E9F3BA15E2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d8a79b113bc5316744ed27524eb2cba3c3c427b5","datavalue":{"value":{"text":"Discrete semantics for reversible transistor network verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7411925$D48A23B4-8787-42B7-8F5E-C848B1410F67","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"346314ce79f797b56bebca2e2134b3c356d41bb2","datavalue":{"value":"10.1007/978-3-032-30839-9_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7411925$5B2A37D5-1368-41F0-A437-E518A6EF8557","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9cdd68ef0ded2def1fc0ae657fcf3ad7dbec85fd","datavalue":{"value":{"entity-type":"item","numeric-id":7411924,"id":"Q7411924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411925$0D13D03F-7C46-4331-8BBD-D6937D1241F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9b5f4536ec075723397aee625933867bb2efff5","datavalue":{"value":{"entity-type":"item","numeric-id":6079213,"id":"Q6079213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411925$E00BCE2C-D1C2-41AC-B953-1202E29920C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fea8258efc0c807aa3a84f12ebcd68838427a662","datavalue":{"value":{"time":"+2026-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7411925$3FF644F3-C554-4207-A642-B8BF94E24A52","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"196916cd450165978c169d4fbf15975a01c78c72","datavalue":{"value":"68Q09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7411925$2A059949-9E40-4055-A6C3-CF4CF4A53F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7411925$2017C90A-54D4-412C-8CB9-04D5173CB643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7af17f227fda8daecc6b4cd26e5d774fa965085f","datavalue":{"value":"81P68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7411925$8D4132DA-06F2-46E9-8A5E-693BEBDB0CCF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34a4d700e0b6d1b1287b882e59b9491153b4904f","datavalue":{"value":"8277082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7411925$38767DFA-715E-4119-88EF-44BE377F675C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86ca57522f54b7abb899fb969c94d823f9004ff6","datavalue":{"value":"reversible","type":"string"},"datatype":"string"},"type":"statement","id":"Q7411925$93FB0BB4-650C-4EA9-AF66-39770B5815F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0e3ca02d269d70abe49f5f42da3353287f14dc5","datavalue":{"value":"transistor simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q7411925$45CA93FB-B875-4D12-A914-E275499261E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q7411925$87F63705-6A16-4E91-BD6F-A0BE5F4ED5D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q7411925$58DCD544-9E73-42F9-BE0D-B004704F7C05","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":"Q7411925$24CA486E-3E94-4F75-A494-E02DE10173D7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e2ce8d75bad88e1b3706bd9db93a7e7f0fc30a2","datavalue":{"value":{"entity-type":"item","numeric-id":3312162,"id":"Q3312162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411925$B2C4DB70-7870-4CCB-A217-BD1AC952AD0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bf5d30377b1d88f6fded624586a0306b8b2d38d","datavalue":{"value":{"entity-type":"item","numeric-id":3629225,"id":"Q3629225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411925$ED88AA07-A675-4E1D-BAC9-52AB9BEC54D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"432347ebf7758fa5347be4c601bf2d08f68cb652","datavalue":{"value":{"entity-type":"item","numeric-id":2055901,"id":"Q2055901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411925$07BC8F08-D715-445C-BED7-9EBF1B6E2BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975873d4f6dedd3e45d801670aec81532b107879","datavalue":{"value":{"entity-type":"item","numeric-id":5159259,"id":"Q5159259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411925$1B108218-7AAA-4FC0-B862-04F6EFDAA699","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Discrete semantics for reversible transistor network verification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Discrete_semantics_for_reversible_transistor_network_verification"}}}}}