{"entities":{"Q2457693":{"pageid":2468436,"ns":120,"title":"Item:Q2457693","lastrevid":73289016,"modified":"2026-04-14T15:17:25Z","type":"item","id":"Q2457693","labels":{"en":{"language":"en","value":"Towards a practical theory of reformulation for reasoning about physical systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5203847"}},"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":"Q2457693$A83374B1-0753-4E89-8E58-2AFC20FB99D2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"714256ddbc5e0a4c9c46fee53f2098c84a316e0e","datavalue":{"value":{"text":"Towards a practical theory of reformulation for reasoning about physical systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2457693$F0E5D8A2-02D6-4D9D-8817-7289C622AB58","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6e585b65e4ebcc9e5266e58fcbc6b6e0348246de","datavalue":{"value":"1132.68694","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457693$143E5610-1169-4B08-B3B2-71B7957B3F07","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"372aca3cfdd46b2dcc2730f726a374edc24f10cc","datavalue":{"value":{"entity-type":"item","numeric-id":2457692,"id":"Q2457692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457693$F99C4B80-6FEF-4801-935E-187DAFC1997B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e73625e043ed8688da05dfe680ac964df8242d68","datavalue":{"value":{"entity-type":"item","numeric-id":1127342,"id":"Q1127342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457693$71695236-3403-43AF-84E8-D7CAD4B0EC96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf57a15e60aa9dd2d720b1ac8f7cc15a99ffa6c0","datavalue":{"value":{"entity-type":"item","numeric-id":543572,"id":"Q543572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457693$74283327-8340-41F5-936A-D62B779CC0BB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457693$0931FF5C-E131-4AC1-857D-A55D1056FDC0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b92f17929f5a72155ae3100d6d6310726eec0e95","datavalue":{"value":{"time":"+2007-10-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2457693$BB003ADC-B50B-444C-B89B-471F037E111A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457693$C2FBA187-DD14-49BB-BD49-80ABAF6DFCBD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d02ae7637a9fb0e15fcfb2b0ec9c789f1e93a754","datavalue":{"value":"5203847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457693$D27A9F1A-5E0D-4764-AAF2-E13698A317DE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2457693$EB36BB89-25D0-4533-B68E-A9B2A849F802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0b397f41b482fa333d94724754f88adfeff0e9a","datavalue":{"value":"reformulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2457693$504B6F8F-5B95-4DF2-ABDC-ABA1548FB588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc058f54aac0023b7543c366366b86bc4e72c56b","datavalue":{"value":"approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2457693$9B33BA5F-E14E-48E0-8512-07E907C2E4A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5df761273308cd94bf5b25a180231ef5a39a233","datavalue":{"value":"reasoning about physical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2457693$C81ADE66-9E87-42F8-BBE7-4954800F036D","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":"Q2457693$361A15D6-5DB4-453A-896F-BE0A1DDD1DF8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"409034a4513c10471d1e736dfcb9952be02cffde","datavalue":{"value":"https://doi.org/10.1016/j.artint.2004.01.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q2457693$B0D6F287-2F1D-446D-B8A9-9980F97A85B2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"02a0be6a9fbfbf022286efd68980a4d29b83f24d","datavalue":{"value":"W2057434766","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457693$5AA6D9B5-5627-41C5-836E-DEF548FC784A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"369c9635ca1f8b3297cf79ac1af26cf8c786bbf3","datavalue":{"value":{"entity-type":"item","numeric-id":5751978,"id":"Q5751978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457693$2E7E3039-0FAA-4E37-B80E-A4D182E313E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3797ca9c060a8f45bbe361e29094c28dc7f292e2","datavalue":{"value":{"entity-type":"item","numeric-id":1199923,"id":"Q1199923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457693$81C41779-CD5F-4923-B911-262B52EFC744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cc545a341ef542b047bb45d1018cc0eeaedcdd8","datavalue":{"value":{"entity-type":"item","numeric-id":578946,"id":"Q578946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457693$A2BC4EBA-2418-4EF7-9705-E36AF8B4A43C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae5346c52d7ca51a1aa537594efa387aeb6cdf58","datavalue":{"value":{"entity-type":"item","numeric-id":1127344,"id":"Q1127344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457693$11567FDC-0F78-4F7D-8DE7-946D82D131B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01f8e4e2e62aaa4b447aee31dce26faf032b9984","datavalue":{"value":{"entity-type":"item","numeric-id":3908823,"id":"Q3908823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457693$3981BF5F-7C40-4F75-812C-4BFA305362AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ea561e0692b469a08c46e3df9571bc7f3257fbe","datavalue":{"value":{"entity-type":"item","numeric-id":1342225,"id":"Q1342225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457693$4739705B-7FB1-41B0-B7A0-50D5118C7F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fba52db7f892a79fb5d1bb33e4f2fcda85466ac6","datavalue":{"value":{"entity-type":"item","numeric-id":685128,"id":"Q685128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457693$69A268F1-E769-4781-84D7-06928A52F905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457693$0BB22AB9-240D-4245-9734-7FCB7F2172EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd37a31c5ce9eb3310a3d2861b39c852af91e8aa","datavalue":{"value":{"entity-type":"item","numeric-id":1149799,"id":"Q1149799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457693$873F72F0-D76F-4319-AD54-C61D9058FE40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf30429ddef3fa6cfa6766960fca93963eea6cbc","datavalue":{"value":{"entity-type":"item","numeric-id":1402724,"id":"Q1402724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457693$1D38318D-D734-4DAE-8FDB-E332BC5B2003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1842ffa4cc93b64a44a006d4fe297073af7ef6c4","datavalue":{"value":{"entity-type":"item","numeric-id":5732234,"id":"Q5732234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457693$A26F9D90-57CC-43B0-9514-F3D39DED7A46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"459eec1de4de363e3c51196f32eaec4dc05af621","datavalue":{"value":{"entity-type":"item","numeric-id":3493291,"id":"Q3493291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457693$943DC07F-6D04-40A3-9356-36B3E4A178E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1adec1b84740cba8b5cef15749d4b8da50b09d3b","datavalue":{"value":{"entity-type":"item","numeric-id":1108974,"id":"Q1108974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457693$90708ECB-02E6-4290-8EE1-7D9C84946254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7cb7e83c6d79865a28b3313f11ba4cce0b72dfb","datavalue":{"value":{"entity-type":"item","numeric-id":756609,"id":"Q756609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457693$C6AC9B8E-E3F9-4A04-8AC1-04767D04DD53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24720c0d41044e6ec85de3318f8100a0f14dc2e0","datavalue":{"value":{"entity-type":"item","numeric-id":1199915,"id":"Q1199915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457693$D81F2AF2-8244-4390-9549-4AEC6961597E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c86931343f9cbb7a2aa0430e7d6db526c5fb31d2","datavalue":{"value":"10.1016/J.ARTINT.2004.01.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457693$0696D3B7-42E1-4B59-AECB-3460B9C8207C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ed7088c1ccfae980f743aee8aa1edfe4818c08a","datavalue":{"value":{"entity-type":"item","numeric-id":4737575,"id":"Q4737575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2446f6d6cd8a85e01444edc8a5b9413e679951e","datavalue":{"value":{"amount":"+0.7890326976776123","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":"Q2457693$F13DFE27-6760-4707-8C21-B1D2910CE775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc2ace7db5f933a6763baf31a5d128e4e72571f5","datavalue":{"value":{"entity-type":"item","numeric-id":4028092,"id":"Q4028092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cd4e1e1faf3dd8ce4a6a3719136df0e64709dc4","datavalue":{"value":{"amount":"+0.7586241960525513","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":"Q2457693$1CF5BFEE-CEB0-4E2F-89E0-737C0F82866B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"722d9cd93b7d0bd2213d0480105f0060e8855c4b","datavalue":{"value":{"entity-type":"item","numeric-id":2457622,"id":"Q2457622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cd4e1e1faf3dd8ce4a6a3719136df0e64709dc4","datavalue":{"value":{"amount":"+0.7586241960525513","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":"Q2457693$0E549166-E758-4A3F-8B9A-0B51B3BD897C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b5bfe3eeb7e07c8beedc88adbd53f8882ff56b6","datavalue":{"value":{"entity-type":"item","numeric-id":3621976,"id":"Q3621976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a387c2e7613cd931786231121b4ed9de3fc227b","datavalue":{"value":{"amount":"+0.7442629337310791","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":"Q2457693$042A0800-C478-4090-AB3D-3D7F85DBDF31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fa7c4aee538cee12cd6b4438e6f311b8261bf28","datavalue":{"value":{"entity-type":"item","numeric-id":1380410,"id":"Q1380410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da9906ac0f14a79b84bffbc35ec9b1aab2669719","datavalue":{"value":{"amount":"+0.6832682490348816","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":"Q2457693$3B17F752-CD0C-4025-B20B-E83BC023D512","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards a practical theory of reformulation for reasoning about physical systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Towards_a_practical_theory_of_reformulation_for_reasoning_about_physical_systems"}}}}}