{"entities":{"Q4136546":{"pageid":6166146,"ns":120,"title":"Item:Q4136546","lastrevid":40860579,"modified":"2025-04-12T01:46:45Z","type":"item","id":"Q4136546","labels":{"en":{"language":"en","value":"Abstraction and verification in Alphard"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3564317"}},"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":"Q4136546$CE7388B3-127A-49B9-A719-40A9B5F9C0B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"46d55c87fc28ba1f4c70eb75781d07556d8bf75d","datavalue":{"value":{"text":"Abstraction and verification in Alphard","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4136546$8A312E6C-57A1-4C3A-BC4D-29AF4685AF36","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"199f88532fbb3288a9faf7b341a315cfe771c7a3","datavalue":{"value":"0362.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4136546$CD7333F4-3B30-4572-B839-B99C4EE54951","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1f62b722a59be4f9b1b7b4b8191a05f2037243a0","datavalue":{"value":"10.1145/359763.359782","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4136546$32D3482B-BC63-491E-9041-D2B30D2E7D29","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"68cdb9294c2f79f25fcf037f02fc1c260361f09a","datavalue":{"value":{"entity-type":"item","numeric-id":1248371,"id":"Q1248371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4136546$9CCD0B95-3AC7-487B-A2E9-3790B14945B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd08778e4a12c1f695fd1147158e985e11d85e8b","datavalue":{"value":{"entity-type":"item","numeric-id":1333244,"id":"Q1333244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4136546$B52217FE-2D51-47D1-9FC6-BC0B5DCCE853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a202ea570d5d1ae1a67823294f62c2b4eed2e045","datavalue":{"value":{"entity-type":"item","numeric-id":1843169,"id":"Q1843169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4136546$68F98764-B58F-4B95-9400-6F399491C572","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a49472451190faf858f564fafd4bcba399999753","datavalue":{"value":{"time":"+1977-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":"Q4136546$C33663C4-02D5-4DEA-9B3D-D981724AFE9D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4136546$9D8B2770-C000-4192-BE1E-8444D2496C4D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"faa09e20fc3e8b31aae5d2b0ce90cb3196bb209e","datavalue":{"value":"3564317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4136546$42446814-17B7-4996-A1D4-A9B2EC65458F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"918e9aa54ed96d67e86caddd0162973303f3f452","datavalue":{"value":"Q60198240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4136546$1D20A009-F077-4631-9E16-7629C32AC915","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":"Q4136546$046CBC37-1333-490F-8E25-141E5B7B0498","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c0c4c46b5c00e01e4c2aa1f967a386f434b0736f","datavalue":{"value":"https://doi.org/10.1145/359763.359782","type":"string"},"datatype":"url"},"type":"statement","id":"Q4136546$5DBCE159-BDB2-4D74-81F7-712FEFDFAC74","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b6aaa916691c0476ef609c3fc5a64c696a9779e8","datavalue":{"value":"W2028957927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4136546$7E633FF9-A673-492B-9E92-63B9A0503EDE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087426e75e65ba42be09a15851f31de13b7aa5f3","datavalue":{"value":{"entity-type":"item","numeric-id":56730,"id":"Q56730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4136546$D834FD77-0EDA-4EFF-8D51-20D2D4DD6448","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4136546","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4136546"}}}}}