{"entities":{"Q352100":{"pageid":353867,"ns":120,"title":"Item:Q352100","lastrevid":61177758,"modified":"2026-04-10T21:40:07Z","type":"item","id":"Q352100","labels":{"en":{"language":"en","value":"Certifying assembly programs with trails"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6183901"}},"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":"Q352100$66AB58C1-1D47-4DA0-8AF7-60D20CB3AD32","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e31700b6a052184ff87b43dd687b307ef7186e7","datavalue":{"value":{"text":"Certifying assembly programs with trails","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q352100$495F7F06-86D6-4BFB-B28B-91F4ECFD8E68","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cada05609ab545cd74f7deba85736ba4a399a65e","datavalue":{"value":"1267.68098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q352100$FBD9351F-42AB-4772-8C80-D4BC771E60B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab49ce33c51e488b3da7bbc8ed117c55a9cd934e","datavalue":{"value":{"entity-type":"item","numeric-id":352099,"id":"Q352099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352100$75CFF179-E9A7-447F-84D9-D4C0B7AD15AD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"95cb2c83394bbbcdd99484db77fc7dbad3dbd1ed","datavalue":{"value":{"entity-type":"item","numeric-id":351970,"id":"Q351970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352100$8DE0D734-717B-49CE-B38E-910B4FAAB57F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"45f59ec8787ff61160fde5fbcea29c61c8ec386c","datavalue":{"value":{"time":"+2013-07-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q352100$AC3EEE9E-C0FC-4BFD-A934-525614E28285","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q352100$29B54F2C-D955-43E4-AE06-EFC581C914C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q352100$67C3AE1F-ECC5-416F-9BB8-9801E7645252","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"995048b2641918a03f8735991276085d2a8368b3","datavalue":{"value":"6183901","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q352100$2D29084F-6ED1-41FA-90B4-A3986D831A0A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04c9836aef0e3de1a0b55926008e235f401c8ddd","datavalue":{"value":"certifying assembly code","type":"string"},"datatype":"string"},"type":"statement","id":"Q352100$38BE5ECD-E2D9-4745-B2C9-F5763BA10AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ddf77c24bcc95f13b3e72bacba3b010668298ba","datavalue":{"value":"control flow","type":"string"},"datatype":"string"},"type":"statement","id":"Q352100$33AC5AFF-9594-4C5E-BC70-E69D09264711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24c0946ca1c7cece261e7cb3d3e9af5ea3b79649","datavalue":{"value":"partial correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q352100$7385F7A4-9DE5-4CA4-B5A2-EC67C0934B85","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d8400ab86b306a4378eebf43133a98098c8e98ab","datavalue":{"value":{"entity-type":"item","numeric-id":46220,"id":"Q46220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352100$D739E761-512C-4C2C-BEB2-0485E692A9EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352100$22B26F84-B72A-4AAE-B194-928B8C6B35A6","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":"Q352100$EB271CCB-EB80-4654-866E-4E745AFD2688","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"edbf85cf5867c5be9f23ab02dc9f557fac712cc0","datavalue":{"value":"https://doi.org/10.1007/s11704-011-0166-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q352100$1B3EAB61-10FD-4561-9D3C-0904768EF0AC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9f2b416182cfa9fa1a06d9d97a787ae04ac62cd3","datavalue":{"value":"W2139253383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q352100$459174AC-A011-4819-8CB8-FC65640F9C5B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352100$472E5619-1C7D-4E65-8A44-6F0F7BCBFC68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df66c3373ee20520c5ed216e62e84be7c2aa7441","datavalue":{"value":{"entity-type":"item","numeric-id":4460723,"id":"Q4460723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352100$DEAC2647-2E3F-499C-BA28-958E8E993788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acde0c5acdec560094faaeeaf74535ff9bab476f","datavalue":{"value":{"entity-type":"item","numeric-id":5348933,"id":"Q5348933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352100$F00F02DD-28C5-4E8D-8FBF-FBCEDD045B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"817843a7139d1f70c38676e32e4b5862f0d3f2a9","datavalue":{"value":{"entity-type":"item","numeric-id":3666252,"id":"Q3666252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352100$5D54A07D-B214-4B0E-8121-5DD0A7AD311F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8390a5a563d58c700b02bdfcec4b4fe3d988dba5","datavalue":{"value":{"entity-type":"item","numeric-id":3558250,"id":"Q3558250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352100$26E437F4-72DD-4D30-BA17-D2610B52AAF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da7c68b4d2f2637cb9ac79742d9c96fc8c9c5a22","datavalue":{"value":{"entity-type":"item","numeric-id":5898611,"id":"Q5898611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352100$5E3C2739-DCCE-4D67-90A7-3035B3297639","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe35007ab814908f2efa240f87ca31b3484ab195","datavalue":{"value":"10.1007/S11704-011-0166-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q352100$627A272C-6EEE-4793-A0ED-55A54EAB6110","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c692e4c37c0674c33839cb0a8a1ab50912d2566","datavalue":{"value":{"entity-type":"item","numeric-id":4414379,"id":"Q4414379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"855d6f092e5d46f68d869a032b8e98c1ccf751d6","datavalue":{"value":{"amount":"+0.7613961100578308","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":"Q352100$A643D884-A66D-4C00-9D1E-7F4D280126F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d00cc27966356e40453d9fd8e99c5d220231f1d8","datavalue":{"value":{"entity-type":"item","numeric-id":5348933,"id":"Q5348933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"974dde700773347358880bb18227b2ae384e48c3","datavalue":{"value":{"amount":"+0.709467887878418","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":"Q352100$D6ABAF1E-DEFA-4B84-A1A6-797F69B7EA3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaeaa7a94fa6005ac226917f077263a1dcc70589","datavalue":{"value":{"entity-type":"item","numeric-id":1974452,"id":"Q1974452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8dcbeff4a8d76512740820c77825d73abb0e91c","datavalue":{"value":{"amount":"+0.7043548822402954","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":"Q352100$4F92FCB8-7652-482C-B2B8-4B28C2FDA90A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"591aacbee2dfa8a732bf1715ba5bc8356e95aa9c","datavalue":{"value":{"entity-type":"item","numeric-id":4532093,"id":"Q4532093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8dcbeff4a8d76512740820c77825d73abb0e91c","datavalue":{"value":{"amount":"+0.7043548822402954","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":"Q352100$9D24EF3B-1120-4AB8-97F8-4AEC747DF471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2d097ed9ba487ef81074955682aa8c33b026bf3","datavalue":{"value":{"entity-type":"item","numeric-id":4417908,"id":"Q4417908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7cf4288f14d52b513acd2f5d110e34fd1a2f40a","datavalue":{"value":{"amount":"+0.6995367407798767","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":"Q352100$F8852AED-E5C6-47F5-964F-594E63AD8F11","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Certifying assembly programs with trails","badges":[]}}}}}