{"entities":{"Q347384":{"pageid":349151,"ns":120,"title":"Item:Q347384","lastrevid":61193133,"modified":"2026-04-10T21:46:19Z","type":"item","id":"Q347384","labels":{"en":{"language":"en","value":"Rewriting modulo SMT and open system analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6658142"}},"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":"Q347384$0F535D91-86ED-445B-95DF-21591696267E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"971358504666caa1a9d35652a0dfa2255b52d113","datavalue":{"value":{"text":"Rewriting modulo SMT and open system analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q347384$AAA5C24C-1520-4B6F-9475-B7A31CA1FBE7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"83dc340db63b404092de9e4b1fda268af13cbf83","datavalue":{"value":"1353.68156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q347384$A5EF93FB-7FF8-418D-AF82-DE24D93B1357","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5a482cf0499359d513e033835fd455222dfc82f","datavalue":{"value":{"entity-type":"item","numeric-id":347383,"id":"Q347383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347384$4DE845A9-7EE3-45BF-A0A1-E2996923590C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347384$3D6B5976-27DA-44FB-BCFE-6CD539C9BA06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"964ad06bbce2223d39835995102fd837d5d2b24f","datavalue":{"value":{"entity-type":"item","numeric-id":1791191,"id":"Q1791191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347384$5C766894-6A15-4A26-A7AB-7E95CF9E9A9B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347384$340AC2B2-31FC-4A1B-B183-FE81AC56D46C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a81488eaa0593c2b339fa674b802605bba207348","datavalue":{"value":{"time":"+2016-11-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q347384$DB50F465-FAF0-4D5D-BD8A-EC75D75D19A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q347384$71F70ACB-7A35-4098-BF01-3358E2953B0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q347384$28F48D10-24DC-4D35-A9CC-F1BB764CAD72","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18d225ca080060ac81b0882ce43b3189cefedc8e","datavalue":{"value":"6658142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q347384$A8282D63-91A3-4AA7-BE4E-259303FDC525","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347384$7BF4CFA1-C9B7-44B3-BC38-C1A6A8F03DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a7e8c0ef4b2b655550f401b23c169644988922e0","datavalue":{"value":{"entity-type":"item","numeric-id":21725,"id":"Q21725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347384$D4EDEEF9-9FAF-45E3-96F8-CACFCF5BD3BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347384$C520633A-5199-4D7F-820A-FCC73E8A4907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347384$86EE4321-9233-4812-AA49-925DA709BFEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347384$4DCB0A73-CCF8-4532-8449-79ADD5A9AF5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f72920035b67b72d36194fa1cacb9706003d48fb","datavalue":{"value":{"entity-type":"item","numeric-id":23847,"id":"Q23847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347384$DDDF26CE-7B59-4149-BDF9-2AE9C6ADBFFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d5dcb486ea2ffc39531287854f4a7be9ffb011b4","datavalue":{"value":{"entity-type":"item","numeric-id":17045,"id":"Q17045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347384$6D8B32FF-515B-433B-8EEE-98BA41D00ABF","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":"Q347384$36798059-47FC-4A6B-80FA-5B1690E1FBB6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d3b23deea539ec5a9e44864dd8a80f749ea3a000","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2016.10.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q347384$CEE071FC-6A11-413B-935F-4FD1CBFB2F3A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"af012ca47e9c9b7e186119eec6129128a3815010","datavalue":{"value":"W2531460317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q347384$44E7A1FB-6249-4CA4-883E-019E5793B026","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f49cdde0e4e93beb3ec22ebb07bdb6ff64fe9a7c","datavalue":{"value":{"entity-type":"item","numeric-id":3655193,"id":"Q3655193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347384$AC37130E-7FE2-4415-9244-51CB5606CD2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347384$C742FA53-F9AD-466D-82F0-5A37B046D7DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fc97f546228c5c4ad050bfe934a2da9822d01f2","datavalue":{"value":{"entity-type":"item","numeric-id":1918503,"id":"Q1918503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347384$65B609C0-E23E-4EB9-92DC-00B85DAD16AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00e7fb512c3c2088a0e31db09a35588d6ca50ae7","datavalue":{"value":{"entity-type":"item","numeric-id":2958376,"id":"Q2958376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347384$0DF4C1BE-0558-4029-8408-5F35D67AF494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f85fd02f887f9e6cdc6efa73686f469882f2acf7","datavalue":{"value":{"entity-type":"item","numeric-id":438533,"id":"Q438533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347384$4070334C-3992-4F91-84E3-D876A375777C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88e35b05acb946cff9836402c683e31e61c64b4d","datavalue":{"value":{"entity-type":"item","numeric-id":1329186,"id":"Q1329186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347384$58451336-B5EE-4079-BCC3-80AF8345E363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1541e165f8da97eb3fd7ff658d64b7ee02aeca1","datavalue":{"value":{"entity-type":"item","numeric-id":3541728,"id":"Q3541728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347384$348E62C3-7624-4987-BA48-4FCC4EC928EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45ac59a5cde1ab820b7cd49159443fdf381214ea","datavalue":{"value":{"entity-type":"item","numeric-id":420848,"id":"Q420848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347384$FF3AE334-1228-4484-A522-BA253360FD6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84ab5e8e2cb4633034d3747a964aea829975e001","datavalue":{"value":{"entity-type":"item","numeric-id":2503334,"id":"Q2503334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347384$F239CBE2-BC4A-4444-AEDD-47BE10D4CE3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bd394a77de6a66e7c3ead14354e268bd49cc00","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347384$3682582E-AD24-4EA7-AF13-DDDC3CE7F76A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f1b42907db6e0f548148331d74b1a977500e405","datavalue":{"value":{"entity-type":"item","numeric-id":875516,"id":"Q875516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347384$CC4259EE-27CE-4B51-B93F-A8586F353547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fc6f8ad8cdc3788a0a19ff0e637a835747976bb","datavalue":{"value":{"entity-type":"item","numeric-id":5953447,"id":"Q5953447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347384$6260B39E-ECBE-4B91-97B9-01DB289F3224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20a4d6f51d78559c9782924eff39878066a73fca","datavalue":{"value":{"entity-type":"item","numeric-id":5150132,"id":"Q5150132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347384$5FF622D3-7F6E-492A-8A97-74D3E2975CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11f8ef03a702d69c585c63b326a09f44c5b6e4af","datavalue":{"value":{"entity-type":"item","numeric-id":2271899,"id":"Q2271899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347384$96183658-A106-44BB-AE85-263A58AA00B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d739f7988c22d3779af68b730ba131bf422b42ba","datavalue":{"value":{"entity-type":"item","numeric-id":3522011,"id":"Q3522011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347384$02F0D6E7-1A67-43BC-82C9-9870DD1783DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"643d723a730b8674f4bc858209c84f2cde705d36","datavalue":{"value":{"entity-type":"item","numeric-id":5170162,"id":"Q5170162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347384$2389B216-F637-4B68-98BD-E6CD5557BC0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b545e84922746d70096356bb35e502dc298bed20","datavalue":{"value":{"entity-type":"item","numeric-id":2908496,"id":"Q2908496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347384$B9D311FA-EA3D-4407-9AB7-2D81DD27F221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a24a02583699886ea10f93c7894ea7d449ae56d","datavalue":{"value":{"entity-type":"item","numeric-id":2762631,"id":"Q2762631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347384$322AFBEE-D749-4247-97B2-EC3560A19DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c39f0f1cf0c18de69393110b9c50091b9f09b707","datavalue":{"value":{"entity-type":"item","numeric-id":5327489,"id":"Q5327489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347384$396D6494-C360-40FA-8E9C-71FF694ED13D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a470b378741f28bdecd3dba78fc1f965ca175562","datavalue":{"value":{"entity-type":"item","numeric-id":3608784,"id":"Q3608784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347384$DE5666EE-6C04-40B6-A1B3-D3A80E5538F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3c468c5df999a5df8b9ca61276e57be905929fe","datavalue":{"value":{"entity-type":"item","numeric-id":3541687,"id":"Q3541687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347384$1522E5BB-FB2B-4001-B25F-F0BDCF87A855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cdb831970cdc01d205b526f08958ccd77a1ab13","datavalue":{"value":{"entity-type":"item","numeric-id":5747748,"id":"Q5747748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347384$9D13F57B-B8FC-46D9-A547-786CCC20914E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3239d3bc022112b37f4da6991a3c7bf09667ee35","datavalue":{"value":{"entity-type":"item","numeric-id":1196302,"id":"Q1196302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347384$807E0B82-E46C-4614-9B89-F34C01930E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"715bd9b495ec757bc4f5f54f4d99370941ab86b1","datavalue":{"value":{"entity-type":"item","numeric-id":4997235,"id":"Q4997235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347384$5AAFE4B9-3258-4439-B3EB-445795CEF788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93b835f401ad58dcb64dab6d685e5a61a1aa6f01","datavalue":{"value":{"entity-type":"item","numeric-id":1338341,"id":"Q1338341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347384$D73DD0CB-4528-498C-96FB-6A59A592B7E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2867379881a9fad1d7058ee036fa7796030eccda","datavalue":{"value":{"entity-type":"item","numeric-id":2849501,"id":"Q2849501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347384$A2A016DE-00CD-45D3-A1A6-F24A90052D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9c95d05edf977cf87ef10bdb5ef90eedb5acc67","datavalue":{"value":{"entity-type":"item","numeric-id":2789055,"id":"Q2789055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347384$837AB988-9F15-43D0-A42A-1F0C8395936A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd141145e8ea8fb37817516875d456dca78935e","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347384$C9EC465B-8C17-4260-9ECB-DCD90AF16C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d8975fb157e17ecdba14169bfcc11424eb67866","datavalue":{"value":{"entity-type":"item","numeric-id":5179140,"id":"Q5179140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347384$0D8F0AA9-2548-415F-B269-9DE2390D0BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347384$85AF5D16-40F3-404B-8BAB-7C97D37FDE19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35de7df0c420175ccefc3da8012590103dbdf602","datavalue":{"value":{"entity-type":"item","numeric-id":3839051,"id":"Q3839051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347384$0E2C9C35-DF10-4320-B63E-47B2B1B1F184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14a1a742e214d8245c75cee91c994ccfb70891f3","datavalue":{"value":{"entity-type":"item","numeric-id":880981,"id":"Q880981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347384$A1D62DB7-A7FB-4BE7-8BE8-2609B9A7C7EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7b2dd2863358cf2a528999ec6b006fdf400b99","datavalue":{"value":{"entity-type":"item","numeric-id":3899468,"id":"Q3899468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347384$A0ADF710-EB7D-4896-82CD-3C4031378337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347384$85CBB35F-5D3B-463D-B27F-7CB7C367CC07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63adb438f3503504ee45819eae5d5f4d93ec0817","datavalue":{"value":{"entity-type":"item","numeric-id":2722046,"id":"Q2722046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347384$A27DA0ED-CD41-472B-965C-EF1D5A196359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb01132ff078294ff34f5679c3984622fdbd54a5","datavalue":{"value":{"entity-type":"item","numeric-id":2945139,"id":"Q2945139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347384$996D7F68-0210-44D6-AACD-65CF7AD09938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffedd0783e404a9886f63e24289e5cccf7b96c2b","datavalue":{"value":{"entity-type":"item","numeric-id":5902412,"id":"Q5902412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347384$F1B6FD1E-69C4-4618-86A0-825FE511C83C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67053ec95ed7741c50f679c98cd35b13a8275355","datavalue":{"value":{"entity-type":"item","numeric-id":5200103,"id":"Q5200103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347384$EE4BDB5E-7C77-48A7-AE2B-DA5D421C206B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a05691a6f88eddda61756188d2d28bc57b51655b","datavalue":{"value":{"entity-type":"item","numeric-id":860885,"id":"Q860885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347384$A62B957E-1117-4B89-9232-E8B5B2A98B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d9525944835ab99fe0caee89af1d1c4f1696592","datavalue":{"value":{"entity-type":"item","numeric-id":1608925,"id":"Q1608925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347384$8D611FE6-79FC-42D6-9943-D4E89612BE4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5737ed63a94029d8b0faae5aa2122c2153956854","datavalue":{"value":{"entity-type":"item","numeric-id":3510788,"id":"Q3510788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347384$97A5BC0B-6D03-46B1-8D42-5C2AA8B4BBE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e574050348307bcbcfc2e2f0734db761d485e300","datavalue":{"value":{"entity-type":"item","numeric-id":1856194,"id":"Q1856194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347384$A926AA18-B707-4496-A40A-EEAA1C62E654","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"18041161f359c66e4fe5c6452d85df021cd43feb","datavalue":{"value":"10.1016/J.JLAMP.2016.10.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q347384$F56EF8CC-60BB-4017-B5BB-CA08A7FDDA91","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4124478dff1da9ea2ad9566b0793127bc44e98da","datavalue":{"value":{"entity-type":"item","numeric-id":2945139,"id":"Q2945139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d285375351ed6d1a528eb1f7128a18dbec268d7","datavalue":{"value":{"amount":"+1.0000004","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":"Q347384$E87BD02E-1283-457C-B17A-44F5EDE7F892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b088c4659552d05ef6d890b942365a1fdcc9452","datavalue":{"value":{"entity-type":"item","numeric-id":1929227,"id":"Q1929227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f77408bfe5181b2ec562298437c3efdfa413dc2e","datavalue":{"value":{"amount":"+0.8717312","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":"Q347384$ED41D18D-E220-4C5A-9EB1-5D8976D0D5A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"926fe7dfb76f995dd131e99826f8cb89eb3eff17","datavalue":{"value":{"entity-type":"item","numeric-id":5408194,"id":"Q5408194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9c64036ed332c821f2e55e8e0a256a2888cc931","datavalue":{"value":{"amount":"+0.87080467","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":"Q347384$02A9D910-86EA-494D-9C65-FC6F7C50F36E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"245b30b711a4f9a445b22e6f134b02e9361f5ec9","datavalue":{"value":{"entity-type":"item","numeric-id":5389141,"id":"Q5389141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d711411408a1d02489675b42e6358a9477e58b3","datavalue":{"value":{"amount":"+0.8669031","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":"Q347384$80B1A05C-4C99-427E-BD97-D1567FCF38AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"853ddc88092ee2050a7d94b35d901d40cfce7e30","datavalue":{"value":{"entity-type":"item","numeric-id":3079927,"id":"Q3079927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e740c72a9c0f5325004e27dcef506edb7b6da61b","datavalue":{"value":{"amount":"+0.8653872","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":"Q347384$19390692-094D-482F-B1BC-66A72277FA9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"660d19616cc8d36c112fb74bfa31e093bdc49745","datavalue":{"value":{"entity-type":"item","numeric-id":1671151,"id":"Q1671151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c832a88a6ebe4fb210fc3aefb608ea85539213d4","datavalue":{"value":{"amount":"+0.8648896","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":"Q347384$DB7AE0E4-7011-4290-8F09-58FC11479477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1bd637b976226e8a05c6125e925ddee941f1949","datavalue":{"value":{"entity-type":"item","numeric-id":1911401,"id":"Q1911401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e016eb715efef5126a2c68ce255d1c0537e96afa","datavalue":{"value":{"amount":"+0.86481476","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":"Q347384$653BD81E-45E4-4057-BDFA-1534F60A9458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ca4206e9c9ca3008f5fb1e4491405501a947a60","datavalue":{"value":{"entity-type":"item","numeric-id":2849873,"id":"Q2849873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a86e8a206a7b9a8ad2db99682c7d9cabec39a6d7","datavalue":{"value":{"amount":"+0.86037546","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":"Q347384$2CAB4CB2-3792-4611-848E-F42CBF8E4908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb463026b8822221681c84ff38cd19b67fc383ca","datavalue":{"value":{"entity-type":"item","numeric-id":910207,"id":"Q910207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d75b97b1b3885fa80048e6f81f8d0be4a1e2eaf","datavalue":{"value":{"amount":"+0.8589202","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":"Q347384$4BD017F7-CC7C-459D-9B28-C12511CF69B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Rewriting modulo SMT and open system analysis","badges":[]}}}}}