{"entities":{"Q5480167":{"pageid":7509727,"ns":120,"title":"Item:Q5480167","lastrevid":41257628,"modified":"2025-04-25T11:42:45Z","type":"item","id":"Q5480167","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5042671"}},"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":"Q5480167$E194D932-23CC-4B5C-9EF2-624DE5F84680","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6bd8a04e5c4da23339f9130a3183052c2d9713b2","datavalue":{"value":"1095.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5480167$8B85BDB5-D892-4F48-B585-87789085E042","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a8e94683a4b6c58358f4dd8e3a0aa19dc8c360e","datavalue":{"value":{"entity-type":"item","numeric-id":403019,"id":"Q403019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5480167$2054FF11-8DEF-4DD0-A286-E19DD6E915BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cde96b44d9cad9ac40bb3f7dd714b330c99ed5d","datavalue":{"value":{"entity-type":"item","numeric-id":218985,"id":"Q218985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5480167$5EB77F8F-31F3-416D-B961-A5798FD5584C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a2957c7d74c1ac2a80c100e7a48bdea3e5694ef","datavalue":{"value":{"entity-type":"item","numeric-id":1865855,"id":"Q1865855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5480167$241EC904-7160-4613-B45C-D63FD68E3303","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d85a27ba2b9544b016b1499e0ba5bedac0259484","datavalue":{"value":{"time":"+2006-07-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5480167$EA1354D5-71CB-4B56-8490-4324A3082E6B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5480167$1998C430-7B0F-4EB4-BE16-E1FC09AD609B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5480167$26B23669-F1FA-4220-B5FB-BEBFD099D638","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e2b280f7b9d98a516f77967f14a70abf6cda6a4","datavalue":{"value":"5042671","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5480167$E1C4D1D1-5467-469D-838D-29CAEC83DEF2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27ee2f408b6407a60608dbc31d5dc6b145c15444","datavalue":{"value":"logic synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5480167$F9F93940-F811-452D-95B8-1438C70350B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74294ba05565ff18cf0b25a46cce37f0474b3558","datavalue":{"value":"automated synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5480167$A7A1C4E8-E0E7-44B7-8105-3D0A10400467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fe85ae8d4a7293b26db13c88d4f499a668dd17e","datavalue":{"value":"asynchronous circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q5480167$3C7561CC-BCDA-40AB-8BED-0576599C8AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a165f9fc6b02957d07f1fe4fb00eb23836e308f","datavalue":{"value":"self-timed circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q5480167$214E3A82-4F00-4F9F-AA09-70102BC74FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5480167$6F036B63-C543-493A-A500-823817D17EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cfb1bb98cc0d6a6be920bc401f6938c174a39f1","datavalue":{"value":"signal transition graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5480167$F2D79CAC-8190-4096-A031-A848034FD366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"884f56f97287a90940a3e90b909c2eeb40f35071","datavalue":{"value":"STG","type":"string"},"datatype":"string"},"type":"statement","id":"Q5480167$D8EAAC6E-6E55-4752-9652-BB3C1B5E9170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"632762b52d729f21e0acc6a42018f8e0d67fd225","datavalue":{"value":"incremental SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q5480167$A7A1E646-BD2D-4785-8BF8-B0224096E0F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85e539b50efea094935f8e859d7d915686bf267c","datavalue":{"value":"net unfoldings","type":"string"},"datatype":"string"},"type":"statement","id":"Q5480167$A68DECB1-1863-4806-B207-14CF15CEE092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ff0dc3e793997fc00c9a709bc9e140ab0ced532","datavalue":{"value":"partial order techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q5480167$E71FA093-3DCE-474E-80A2-598BAAF07E91","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5480167$01FFF8FA-4D36-4D25-A0F5-D467E250BECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e4671e4cb1fd66747f3274867a94f211f7c97b3c","datavalue":{"value":{"entity-type":"item","numeric-id":21763,"id":"Q21763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5480167$75A8A61B-35EC-4626-A2D4-D4963FCF259D","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":"Q5480167$8D7C1F2E-51E2-481C-8420-375F1FDDE388","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd1e0ae18d4dbfca5447e7c42f1c1b92abf6b824","datavalue":{"value":{"entity-type":"item","numeric-id":4028336,"id":"Q4028336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1d8ad9d1466354cb284d70c09fa89e0831c6f67","datavalue":{"value":{"amount":"+0.8675517","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5480167$D9BCE2E9-6D97-4E96-B54B-6265ACE1906C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed3185ce992ddd671c85b4e9046513cf24f6a1d9","datavalue":{"value":{"entity-type":"item","numeric-id":4547952,"id":"Q4547952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"782c0fbd1c7371744538eb696850da13b2190a49","datavalue":{"value":{"amount":"+0.86192584","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5480167$789186A3-90E4-4FEE-B087-4CE16441EF66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9666e9ddcccbe45cabd4971d89ae7bcc07777d6","datavalue":{"value":{"entity-type":"item","numeric-id":4802628,"id":"Q4802628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e08984060a6316c1a37816db9a96694697f715a4","datavalue":{"value":{"amount":"+0.85597134","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5480167$12C9CB52-E39A-4A07-9651-7A3D89C539EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f3807768cc1658102c8b142a1c7b92a49411ac2","datavalue":{"value":{"entity-type":"item","numeric-id":3887354,"id":"Q3887354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed5f8fa7cdda8b00d87cdd693aadc720649cbb03","datavalue":{"value":{"amount":"+0.8537978","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5480167$D89733C7-C85C-4E07-B835-B070FA8D3A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba723786bce8aab87f01db7d13996ef4bb6c2de9","datavalue":{"value":{"entity-type":"item","numeric-id":4168877,"id":"Q4168877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9feedb0c270a048038137156819d694373b4a859","datavalue":{"value":{"amount":"+0.8528789","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5480167$9C0D934C-81A1-43D8-8A23-053F5D71FDD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17a631354dc5f9c558b875c350f9abd066aee59b","datavalue":{"value":{"entity-type":"item","numeric-id":3695207,"id":"Q3695207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b998bfbe1c34fa99c0817dcb203c68ebf16e13aa","datavalue":{"value":{"amount":"+0.84982073","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5480167$D7328844-56A9-477C-984C-54622DA92B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"895db42c83366fba8ecc818947462905cea445d0","datavalue":{"value":{"entity-type":"item","numeric-id":3994189,"id":"Q3994189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28fc412f66658e2973182f68f603f41fbe1b3e9e","datavalue":{"value":{"amount":"+0.8477125","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5480167$2799AAFF-10A9-4341-A52B-8EA3CCCA5F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"512f3816d5ba136ef4741f7c18e2c7755f184cdf","datavalue":{"value":{"entity-type":"item","numeric-id":3612472,"id":"Q3612472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"915cfaaf15a919ada33ab18fd626d60969e08f6b","datavalue":{"value":{"amount":"+0.84445155","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5480167$34F398BB-B13F-4033-A880-1048D54EEA89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9622ee3fd6bfcc7451c3d30b8f115fde1bc91c04","datavalue":{"value":{"entity-type":"item","numeric-id":5629538,"id":"Q5629538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30cfc93035692a580f68d08dbbe27ceab4f80db4","datavalue":{"value":{"amount":"+0.8443552","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5480167$2DA20FA7-8C6F-4AA7-BC63-9E71F8EFCF17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"087077ab61e8cd0b53c2016c7db23e152da86be4","datavalue":{"value":{"entity-type":"item","numeric-id":4417598,"id":"Q4417598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43ea359f704565c5b4650e15382a47ace36f5b95","datavalue":{"value":{"amount":"+0.83921194","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5480167$71118CAC-D4F8-4158-9E65-B0E5B3D6CB29","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5480167","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5480167"}}}}}