{"entities":{"Q1350106":{"pageid":1360845,"ns":120,"title":"Item:Q1350106","lastrevid":68802834,"modified":"2026-04-13T02:10:07Z","type":"item","id":"Q1350106","labels":{"en":{"language":"en","value":"Simple proof techniques for property preservation via simulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 983895"}},"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":"Q1350106$FE60F8AE-0E34-49BD-9787-FA7257AA2F38","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"565022640a257da347864d7e15af86fa0d702cb8","datavalue":{"value":{"text":"Simple proof techniques for property preservation via simulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1350106$B3202B96-D834-4F06-993A-5C7C7BDFEF64","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b4fafb950de59cb2581e37e60cd052b111b553fe","datavalue":{"value":"0875.68971","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1350106$C0F08DE0-78EE-4342-AD52-74CA2EDFACE9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fa04cea7db6f9962f98afbb3737f25b2cebd7231","datavalue":{"value":"10.1016/S0020-0190(96)00149-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1350106$501EB34C-A04D-4A23-A375-B5D39DD27428","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d6c85dc148a642a835f71057b8bbaa21dddd172","datavalue":{"value":{"entity-type":"item","numeric-id":968360,"id":"Q968360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350106$AD3E6E24-3504-46C6-8BFC-5C87AA1C6B05","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350106$178D4CBF-2FA5-4A7B-85DA-DDA52D848477","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79c82e669aca3d97718bc55c57512b326a2a4ab","datavalue":{"value":{"time":"+1997-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1350106$BAE5F6ED-9CDF-4A7D-8B8E-635ABCC0BF79","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e40b847cfa456e95c1c964a8cd9df72656b7c29","datavalue":{"value":"68U20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1350106$52DF6121-60AF-4A1C-9DD2-267F6455AF65","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c9112f53793dbc7dfffd08f7dcf111ffea0b616f","datavalue":{"value":"983895","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1350106$110E8592-4131-44DA-9572-678EDB1BF32A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0ab01a9249e8b8b5ce5b297680636743e961ae3","datavalue":{"value":"Concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1350106$2974806D-CEDB-4ADC-B51C-FF73D71360AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e07779f9b09680aeb12b7a2635e20ce95301cf3","datavalue":{"value":"Programming calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1350106$03A80591-05EB-4E10-BF8F-8076867BE099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33b6322f1c2164af722f8145a5d86be88fab6631","datavalue":{"value":"Infinitary logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1350106$D83A4AC9-B7E1-4264-AC56-F4250305CBFA","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":"Q1350106$706E516D-69C2-4ACC-9CBB-5D47711785D5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"54a6320002eee51efddaa9f2f4a03f37bab8991e","datavalue":{"value":{"entity-type":"item","numeric-id":1346649,"id":"Q1346649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350106$3C282385-A544-4721-A4E1-090894A2F694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5317b5733ff5bf6cfb025815c7d3a902dd209a2","datavalue":{"value":{"entity-type":"item","numeric-id":5834613,"id":"Q5834613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350106$4DA83AF9-FE34-4F2B-A132-B3F13C614F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350106$571D2AF3-C60F-4D80-A1C0-F3A7EAF1C9F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350106$74DAEDFC-56D0-4723-868D-ACC8BE015EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350106$05492563-DA5D-4829-B826-4A6D256404FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9e58509c58589e7e9ff957b836ae2fde24359d4","datavalue":{"value":{"entity-type":"item","numeric-id":5834612,"id":"Q5834612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350106$B8DDD5C1-CFDF-4BFD-A327-C7CC68686695","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"962b3c7af77cb40c3d6a90aca287eddeacc2b186","datavalue":{"value":"https://doi.org/10.1016/s0020-0190(96)00149-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1350106$6C33C823-99D2-4AA9-B7BB-B201168DA9F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0e76fed18f5ff2acd42de1a7a8ac50e4dadfd31a","datavalue":{"value":"W2087302085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1350106$2E7E7AA4-E8EF-4888-801C-F4A78A28A308","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca4e011918a09c415d29b3a185963a0a40383408","datavalue":{"value":{"entity-type":"item","numeric-id":5044770,"id":"Q5044770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13748ae5fa558f2deb5b6f8806e1470212902e91","datavalue":{"value":{"amount":"+0.8037837743759155","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":"Q1350106$C7E16755-915D-4435-A93D-E232600A767C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20532c49d9d4d3ae8f294148a0e0a60cc9c87685","datavalue":{"value":{"entity-type":"item","numeric-id":1346649,"id":"Q1346649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bcec8c3d119eef10bff9f06e36916ee7b80ccd5","datavalue":{"value":{"amount":"+0.7810278534889221","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":"Q1350106$9582C3F9-8766-421C-AE35-83BCEBA51382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a090d0858bb9e3172e45e71006dcee7d46a3a0b","datavalue":{"value":{"entity-type":"item","numeric-id":2848953,"id":"Q2848953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7e51411e77651b28b556bb4c763cc8b13de06b0","datavalue":{"value":{"amount":"+0.7563514709472656","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":"Q1350106$B542B922-8B01-41BB-851D-4EFBCCA5B228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8419d60af4bd9663a1aabf8c9c4443c9bd96179","datavalue":{"value":{"entity-type":"item","numeric-id":4737002,"id":"Q4737002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db099438349b4d65bb26b55a1f248c3f96e606c7","datavalue":{"value":{"amount":"+0.7505056858062744","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":"Q1350106$A4FD81C7-4111-41DC-AC07-F73D229F2080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11b9c66dd7979b2753708f697c863777f7765acc","datavalue":{"value":{"entity-type":"item","numeric-id":844884,"id":"Q844884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a9994578536dacd78f1d63f38a7b63856004d33","datavalue":{"value":{"amount":"+0.7298761606216431","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":"Q1350106$FC4E9779-AB0F-40F9-8A2D-391A38D3AD7E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Simple proof techniques for property preservation via simulation","badges":[]}}}}}