{"entities":{"Q1607227":{"pageid":1617967,"ns":120,"title":"Item:Q1607227","lastrevid":74304954,"modified":"2026-04-14T19:26:58Z","type":"item","id":"Q1607227","labels":{"en":{"language":"en","value":"Observational proofs by rewriting."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1774114"}},"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":"Q1607227$04E2FF7C-BD6D-4476-A0F7-5D6E203D64B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f288c39cd24b8f58ecb96627c801c5d2dbe4ac5f","datavalue":{"value":{"text":"Observational proofs by rewriting.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1607227$73AF3EFB-3CF0-461B-9ABD-E47D16CA3346","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af1c8c5177710b1d540f69a373db9d0bcd67d816","datavalue":{"value":"1051.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607227$0BF4186F-2233-42BB-A5FB-EA8F4DB1667E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c98dfedc205ad25d10b359f10d388d2694064c70","datavalue":{"value":"10.1016/S0304-3975(01)00333-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607227$BF1743B1-F427-4A13-BFCD-97580E7C53DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b3a8b345d1b3ec000ad6c59a5dcb5ae454f5a56","datavalue":{"value":{"entity-type":"item","numeric-id":420846,"id":"Q420846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607227$364BE3D9-43A4-40FE-B339-0A16A5C7387F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5450522126073beebe5b41bdc84b794c874c239","datavalue":{"value":{"entity-type":"item","numeric-id":437030,"id":"Q437030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607227$84742BE5-428B-44BC-BA1B-C6FE51A59B46","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607227$7E082895-9D66-4392-8166-93FCC47AF85B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38f00cb3fa95ac38bd620d58528eb98b3b3d8394","datavalue":{"value":{"time":"+2002-07-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1607227$9E06F6D6-48DB-4FF6-84B8-2DBA8377690E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607227$4BEA11A3-D8A8-4595-8EFB-278881D1A7CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607227$5C5AB7ED-DD94-449F-8DD5-83167F5012A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5bbbc975b0a961153fd4bf273ca8d72bc5a34ef9","datavalue":{"value":"1774114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607227$AB6FAB31-0887-4C6D-8AB4-0D57D14C388C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"325faa85279f218e6ded7333c8fd0fb4a22230d4","datavalue":{"value":"Observational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1607227$5376FA61-EC21-47C5-B821-56633D28BC55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e17891460c3c7acf0fe625cdb5f0861dd4e99f17","datavalue":{"value":"Automated proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1607227$CCAB70BA-A054-4BFE-889A-A831E376DBC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cfb3d22d67766ea6c2f6e0e3a2d53b2fca96619","datavalue":{"value":"Induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1607227$D3467056-4543-4159-8137-BE666359A3FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"856cbb3a1dd9e116f4ff19f1aee6ebcdf5acff8f","datavalue":{"value":"Rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1607227$FBE1C5B0-61CC-43C1-86A8-C913CFAC14F6","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":"Q1607227$4A661433-8415-4EED-B5A4-545D3021FC06","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a49a4519d7f35a898203f8a3e3626d2af02e12e","datavalue":{"value":{"entity-type":"item","numeric-id":1338907,"id":"Q1338907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607227$06386614-C451-4D8B-98D7-1E4CB1794846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2befafb112dac54ca90221f0b09473209ec97fa2","datavalue":{"value":{"entity-type":"item","numeric-id":4537506,"id":"Q4537506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607227$F2753A74-168F-49F0-AB2F-C9AED05EA8FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf8c0a1c5a6789fc1a00bbb6e6b2a299b295d2e5","datavalue":{"value":{"entity-type":"item","numeric-id":671500,"id":"Q671500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607227$2CA6DE6B-D648-45AF-8B1D-DBC32C64F1BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7199b61e16a84b76da4670f962685e538ce1a13b","datavalue":{"value":{"entity-type":"item","numeric-id":1891255,"id":"Q1891255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607227$3593F1C6-B83D-4782-BCC1-B7EA84BBB385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38436ccc3eaf66833737c693efd9ee02093296ee","datavalue":{"value":{"entity-type":"item","numeric-id":1355757,"id":"Q1355757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607227$59429A92-918D-42B1-859C-301E28664630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ed1ef347d29b8f0be1edd97644c055691282378","datavalue":{"value":{"entity-type":"item","numeric-id":5055805,"id":"Q5055805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607227$95FC6382-D7E4-4175-AE89-163218691133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35f820e9c2b45f8f035a710ad26c0ff0e5c7ae48","datavalue":{"value":{"entity-type":"item","numeric-id":3221381,"id":"Q3221381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607227$9759A7A5-7147-4567-BABF-44E1CF6015EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60d41888243cfca281ea72041190167a6930872b","datavalue":{"value":{"entity-type":"item","numeric-id":4942101,"id":"Q4942101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607227$FEB06AF9-291F-4940-BF45-73AA1F22C447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86bb4d13ba9b44ec359f7e88a5b3439acbd7bf1d","datavalue":{"value":{"entity-type":"item","numeric-id":1179807,"id":"Q1179807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607227$D3B255DA-5BC6-4259-AA4F-922DAF9681E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d193db1dd3133502e92bbe1b8d3f7f242182b64c","datavalue":{"value":{"entity-type":"item","numeric-id":4430308,"id":"Q4430308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607227$8B6334A5-3DB2-4823-90DA-C93CB20C69CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03daacb77e78cc082b4e44225e4d269536dd1b94","datavalue":{"value":{"entity-type":"item","numeric-id":758216,"id":"Q758216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607227$FA262DA7-2B92-4D0F-9C81-402942749BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17f28bd12adf4f08b88e1bc9b70377dc99daeb17","datavalue":{"value":{"entity-type":"item","numeric-id":685352,"id":"Q685352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607227$84C7DC86-E3B9-4A8B-88BB-354921EBA494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"175bd9c427b5e45bd10716095d7d0f070a9c3827","datavalue":{"value":{"entity-type":"item","numeric-id":1336767,"id":"Q1336767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607227$F36DE647-9B6E-4593-830D-3F4025DAE9F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe75c0289671470536bd191c05493dab0b17894f","datavalue":{"value":{"entity-type":"item","numeric-id":4222987,"id":"Q4222987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607227$06275E46-18B8-441E-AA74-20FB8E38B285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d1f0f5487f8c0ee42819e7149f6be853525c70","datavalue":{"value":{"entity-type":"item","numeric-id":4729318,"id":"Q4729318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607227$326BEAE0-449B-4B14-9E79-8EB3A88602FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02e9bdddaebddb563767fdab13b5d71ba14f7f56","datavalue":{"value":{"entity-type":"item","numeric-id":4040341,"id":"Q4040341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607227$8FA3E8BC-3EA1-40D9-A6C9-BC62EC827817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d50ab6e4af007162138dcaf880cfd57a4a7f8a1","datavalue":{"value":{"entity-type":"item","numeric-id":3716284,"id":"Q3716284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607227$E860810E-BC3A-4873-BE95-67D782774733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebefb56013d1eec876e07a6ceb0c59107285c937","datavalue":{"value":{"entity-type":"item","numeric-id":757094,"id":"Q757094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607227$BC144056-1A4B-46C5-92B5-C30E40064C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4253d384646b019f04280faeb4984e28cdef49e","datavalue":{"value":{"entity-type":"item","numeric-id":3677153,"id":"Q3677153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607227$F6256061-1E52-4F0A-B293-767DAD890203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58fb92aa97215cd52dfc07da2e9bd2fd28ab427e","datavalue":{"value":{"entity-type":"item","numeric-id":1090100,"id":"Q1090100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607227$D1478B5B-0372-48D5-B52B-BD610FABB0B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"893133b7b86a6ea8f7bda9829deaacd67f7e2f67","datavalue":{"value":{"entity-type":"item","numeric-id":1131834,"id":"Q1131834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607227$52EF5EB2-B3B4-4C91-942D-0745279CD049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3d135bbbfba26ccbb74f65607bb39b60363a124","datavalue":{"value":{"entity-type":"item","numeric-id":3660896,"id":"Q3660896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607227$19957AE6-817D-4260-8176-4631F151DB5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"823877466ffaaf00e3854a2ec95798a71d679b8a","datavalue":{"value":{"entity-type":"item","numeric-id":5881200,"id":"Q5881200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607227$CE0700C8-8470-4E59-A48B-C72C8B3F9019","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"158bfb3bbae178755f643ca35775f9e3c919a1b0","datavalue":{"value":{"entity-type":"item","numeric-id":4449293,"id":"Q4449293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37f336cda26189ed2d406dc71a80ca7ca0c5f5be","datavalue":{"value":{"amount":"+0.8451859951019287","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":"Q1607227$B3A9355B-56F4-4C45-AD75-5507BE98AD8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e7c5c7912240f30efed1d28918c75858ea45bd9","datavalue":{"value":{"entity-type":"item","numeric-id":5096143,"id":"Q5096143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cbb8cd01e51fd26644322d5b7377fe59c334108","datavalue":{"value":{"amount":"+0.783855676651001","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":"Q1607227$3C6702AF-8500-41EC-A8ED-7198F190C178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43c5b68931cb6f92af8944912044dea6d82ae0fe","datavalue":{"value":{"entity-type":"item","numeric-id":4842536,"id":"Q4842536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d1967782a2e0adc3c6c607c73718c6bbd7ba353","datavalue":{"value":{"amount":"+0.757354199886322","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":"Q1607227$46B11A6F-5957-42D8-BA29-495EC4F620FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ecad16126f644600fd0e7d51e1de674cf8436f7","datavalue":{"value":{"entity-type":"item","numeric-id":2369030,"id":"Q2369030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe47317c1f9a84cf433617524fd546c45e6f676b","datavalue":{"value":{"amount":"+0.7540830373764038","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":"Q1607227$233F0CCC-E140-4BFF-8C82-F27819CAD4D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45b90fa79ffdfa2d887a48ec567cb0c4470c6cfb","datavalue":{"value":{"entity-type":"item","numeric-id":673973,"id":"Q673973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8ac5afa0b29ea360be4a3ad6c7d0a9bc94e7994","datavalue":{"value":{"amount":"+0.753146767616272","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":"Q1607227$BF22F573-4C51-4F8A-8D4F-DD5B8A2EF3C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Observational proofs by rewriting.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Observational_proofs_by_rewriting."}}}}}