{"entities":{"Q784131":{"pageid":785980,"ns":120,"title":"Item:Q784131","lastrevid":55377322,"modified":"2026-02-17T15:01:03Z","type":"item","id":"Q784131","labels":{"en":{"language":"en","value":"Synthesizing environment invariants for modular hardware verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7228508"}},"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":"Q784131$E6093D7B-F02A-4ED7-854C-EADE6CEAC3D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"457e2630b2de86e1f2abab36b3f984407509570f","datavalue":{"value":{"text":"Synthesizing environment invariants for modular hardware verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q784131$CD78EFCF-E6DC-4088-83CA-E23DA1AA3750","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c7fb9ce741b3cc12782442d959781c6f8f6e2bf6","datavalue":{"value":"10.1007/978-3-030-39322-9_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784131$B3D39E51-FD99-422E-8C98-286A5C098886","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e294939c34f6df60e834188d62266fff995ba51e","datavalue":{"value":{"entity-type":"item","numeric-id":784128,"id":"Q784128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784131$FC3E0E10-E8B5-41B1-AC37-B552B01E7DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"42f68edaf28269172f501c74f492225a7ac8e138","datavalue":{"value":{"entity-type":"item","numeric-id":784129,"id":"Q784129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784131$15C53CA2-5A13-4724-98D2-266598115970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"138e91d832e835b45e439ed8c45f97cc7963138e","datavalue":{"value":{"entity-type":"item","numeric-id":784130,"id":"Q784130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784131$8160E404-7EC2-44C2-893B-9937411811BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"267769ee025773c3257f441a0558f5f2a60f51b9","datavalue":{"value":{"entity-type":"item","numeric-id":432145,"id":"Q432145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784131$B2CD44EF-6E3A-4364-94B3-60E57561CA2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad84ce20d471d4eb62ee7ab9f8f8819cbe6311af","datavalue":{"value":{"entity-type":"item","numeric-id":265699,"id":"Q265699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784131$2F132294-562D-4ECF-9FD2-448946F410F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"367b52f871d6b5e824ee75b3e7162a8cd956fdbd","datavalue":{"value":{"time":"+2020-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q784131$93B29BBE-2FB2-4907-AB7E-F6B33C6C6C25","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784131$34120FEB-568F-41D3-8249-F577EEA44CA9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46d7c584311b496ec4ff0267b25296be2947e729","datavalue":{"value":"7228508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784131$78BB7969-688C-4102-8F3E-2DE3D8EDAC61","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":"Q784131$A2532628-2C1A-4290-9E88-06C219750D37","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"df90d23dc1f8f76d2b2bdac939a0a3f5bec9fd9f","datavalue":{"value":"https://doi.org/10.1007/978-3-030-39322-9_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q784131$24757BBF-37BB-4E51-9A7B-7F4D6BC1574C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fb1c2c89cd6643428b477ed042dce76a24015009","datavalue":{"value":"W2999599459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784131$10A49A52-B072-4E38-8E39-A2049B082AAD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28eb27d44c837cfa8fb1ea3c97b4a2dbb4ec7c95","datavalue":{"value":{"entity-type":"item","numeric-id":4997233,"id":"Q4997233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61a28eb31ac02dbd3b77801e1448b77bba8920c1","datavalue":{"value":{"amount":"+0.7246848940849304","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":"Q784131$6F2E633B-42D3-43E2-B99B-418619B01EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c01e1205fb80aeea482a21388c62865ac9d418be","datavalue":{"value":{"entity-type":"item","numeric-id":2324217,"id":"Q2324217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c44fcc50c186bb52549709cb6a2645968f10251","datavalue":{"value":{"amount":"+0.7241484522819519","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":"Q784131$000BAF09-CE8F-45B6-862D-CF90A37C3A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"557aba351f98a507dc47f03eaddfa587e5ea434b","datavalue":{"value":{"entity-type":"item","numeric-id":2208307,"id":"Q2208307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db9765b504005bef1249dac7095bb75dbdc91641","datavalue":{"value":{"amount":"+0.7022529244422913","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":"Q784131$384837A9-B636-4708-B6F4-26ED4B81B0C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"108d659977cf7d500de463c42fc8ae3010c7f7ad","datavalue":{"value":{"entity-type":"item","numeric-id":3648710,"id":"Q3648710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"403f2ed05f2e7ec8f6bebb9183c58c3c3003aa82","datavalue":{"value":{"amount":"+0.69390869140625","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":"Q784131$64B3EEE6-1A2A-486B-962C-F1EB21C0349C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e06016963fa7603b778e3bb1f46482d10e1b53c1","datavalue":{"value":{"entity-type":"item","numeric-id":3648730,"id":"Q3648730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"072c1927bb88f61233db6a6e1d2580c635ecf3a5","datavalue":{"value":{"amount":"+0.6931037902832031","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":"Q784131$EFF61403-23F4-4F1E-927A-D8DD20D0DEA6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:784131","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:784131"}}}}}