{"entities":{"Q877830":{"pageid":879678,"ns":120,"title":"Item:Q877830","lastrevid":65062644,"modified":"2026-04-12T00:03:58Z","type":"item","id":"Q877830","labels":{"en":{"language":"en","value":"Verification of FPGA layout generators in higher-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5149173"}},"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":"Q877830$35F93C41-A386-4071-9C8A-926F123618B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"57b48a1333f6412a82ac8f4c013d7fb569e4406d","datavalue":{"value":{"text":"Verification of FPGA layout generators in higher-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q877830$1D0EEFD4-82B7-4D0A-9D23-9399C6EACB80","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6a7d124279c28cfd0f07c8d43f91453f3d424553","datavalue":{"value":"1113.68092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877830$B9AB2D69-9817-450B-BBCB-2B69F8C872C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50a316cccdf4b8e802318cfa8475f4a158766ebb","datavalue":{"value":{"entity-type":"item","numeric-id":877829,"id":"Q877829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877830$6C4E1FCF-CE32-432D-A5D6-4CC0300BA4C5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877830$94F840BD-2F23-490B-8E1D-10E88C11D8B3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"705732f6c443403985df27568b16305b8e45450f","datavalue":{"value":{"time":"+2007-05-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q877830$9205E349-6FF5-4CD7-8332-6771C9C18070","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877830$1BE0563E-1050-4A10-AA95-C08416DD8BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877830$4A23F691-072E-44AD-ABB6-AFB2DA7713C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f84ef734302c6db523b5ed0769195040eadf8e43","datavalue":{"value":"5149173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877830$AFDD1997-F20E-497A-932A-52791A491E60","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be2a994af6f4135373dd9cc9dd6832fcb9e1b137","datavalue":{"value":"route algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q877830$79202536-831E-42C7-845D-60D77A55CFD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3644fd76847c729541fd1479da86abb97b60721","datavalue":{"value":"layout descriptions","type":"string"},"datatype":"string"},"type":"statement","id":"Q877830$690A784C-5009-4E90-8A2E-1E804BFF34EA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877830$9335B032-B850-470D-991D-87299F7E048A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bc78481256c4337007a737dd83d4f9da63a245fc","datavalue":{"value":{"entity-type":"item","numeric-id":19520,"id":"Q19520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877830$F7DB4E5A-BA62-4D4A-A869-3EE1BAFCD3E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877830$F807F393-B88A-4C01-8322-161160A7B7D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8a82980ea9b9e661b9bf9ec7fd1664f08aabd020","datavalue":{"value":{"entity-type":"item","numeric-id":15982,"id":"Q15982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877830$141A3E6A-4E6C-4A6A-AE22-866A32BB87F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877830$63F32679-967E-4538-8C7F-322F40B829DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877830$868CEB87-19CA-4773-8B0D-FF17A054B7B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb6c2d18287764041ae60ee5f8b5af9b2b2245a7","datavalue":{"value":{"entity-type":"item","numeric-id":40357,"id":"Q40357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877830$1A13C1CF-8CFD-4002-931B-4CB6EF89883E","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":"Q877830$7E720F00-261C-4F56-992E-C06A0D51DD90","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d1cc14b25cdc00d766a297f1954dc9eb140e46c9","datavalue":{"value":"https://doi.org/10.1007/s10817-006-9039-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q877830$85B59566-4B9B-41AF-A7C7-9F2A0689699A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f9243babb525e9679d7070c3503bc4ba83150ee2","datavalue":{"value":"W2013832163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877830$1066E422-6750-4CE2-B292-93CF87DF34AE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c39cedbacc3dff2b192e2eb0123ef14724e204d5","datavalue":{"value":{"entity-type":"item","numeric-id":4475645,"id":"Q4475645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877830$6207D1B7-85BC-4169-95E7-7D7A4AB5F8A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8124e2aa86067094dab23bb14b8dadf2e19d522b","datavalue":{"value":{"entity-type":"item","numeric-id":3894958,"id":"Q3894958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877830$2B389296-641F-42D0-B2BA-143991A7A690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b570dc51ad23d1e9cb47c7083a0b7b043b06071","datavalue":{"value":{"entity-type":"item","numeric-id":5592242,"id":"Q5592242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877830$D732D6BE-FF25-46A8-88C2-A39487E560A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c41cfee3670777de9b132f6f168608b4bed471ed","datavalue":{"value":{"entity-type":"item","numeric-id":4818797,"id":"Q4818797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877830$FC6FFB5F-9BFC-4A72-A643-603D36FF7C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f6348a4744f7958da2c50aace25a52dd1596dd8","datavalue":{"value":{"entity-type":"item","numeric-id":4427916,"id":"Q4427916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877830$D80BFAE3-09E2-4AFE-92F1-0E41513F2E4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b74789688ac51b7ade23d361083007c0a41b1ca","datavalue":{"value":{"entity-type":"item","numeric-id":5966707,"id":"Q5966707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877830$A0E3B099-1FA4-415C-8E4F-089AA9431D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877830$9DDB829E-F26C-41BB-851F-13867491320A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877830$495DFF63-554A-48E8-8020-5BD182A6C65C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a66a156265dbcd6a364f67c37ae8ea3ddb6c42fb","datavalue":{"value":{"entity-type":"item","numeric-id":5493253,"id":"Q5493253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877830$2E5CBD9F-37C0-4FC9-B3F3-129C00BE336A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e214c6766a4f952ebd072e0f3a868882c23fd406","datavalue":{"value":"10.1007/S10817-006-9039-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877830$AD371480-E7C0-41FC-8207-06F92E9A35E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"431ea062537905adc1821d7fff3b06b5d079771e","datavalue":{"value":{"entity-type":"item","numeric-id":2432229,"id":"Q2432229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50610c7b390eff879694f45d6c66c8c2b8ef3a14","datavalue":{"value":{"amount":"+0.739823579788208","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":"Q877830$F825093A-A672-4BFE-8D81-D644A96F7AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1428a2fbb3339dab55195b66181a0eaf4379cce","datavalue":{"value":{"entity-type":"item","numeric-id":4427916,"id":"Q4427916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7005c4387fcb9eefe57daa4678652df1c2f29a9","datavalue":{"value":{"amount":"+0.7289835810661316","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":"Q877830$1617721D-E9A5-42EF-A30B-3D72A8B87765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e87c9ee41f9fbeb6ddf6e3e0ddab62ba379aa687","datavalue":{"value":{"entity-type":"item","numeric-id":4939619,"id":"Q4939619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"858db5f059851f05358e6b91ffa96100d04d1cc7","datavalue":{"value":{"amount":"+0.7203719019889832","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":"Q877830$38A0CD01-34CC-404F-A8F0-03B4AB746622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5abb80aae8d2531ad458e5665836a858b1ccba17","datavalue":{"value":{"entity-type":"item","numeric-id":4028158,"id":"Q4028158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8321ee821fba5d09109c1fa1e91f80317992f1f5","datavalue":{"value":{"amount":"+0.7144326567649841","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":"Q877830$C99791AA-533E-465E-BD89-BCB7545D9379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fade4abc577b834ce86cb5f3b59fab35fa2ff84d","datavalue":{"value":{"entity-type":"item","numeric-id":5493250,"id":"Q5493250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8321ee821fba5d09109c1fa1e91f80317992f1f5","datavalue":{"value":{"amount":"+0.7144326567649841","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":"Q877830$D45ECFBC-880D-4BC7-9C86-C9D4AE682A40","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of FPGA layout generators in higher-order logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification_of_FPGA_layout_generators_in_higher-order_logic"}}}}}