{"entities":{"Q3623931":{"pageid":5653837,"ns":120,"title":"Item:Q3623931","lastrevid":50640830,"modified":"2026-01-14T16:06:45Z","type":"item","id":"Q3623931","labels":{"en":{"language":"en","value":"State Space Reduction of Rewrite Theories Using Invisible Transitions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5547650"}},"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":"Q3623931$BDD42679-74C8-4319-A991-7C45ACF8797F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"836bd1c32586d9e749977e49d944a2e587eddbdf","datavalue":{"value":{"text":"State Space Reduction of Rewrite Theories Using Invisible Transitions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3623931$095BD0EB-8CDD-4D2D-A2DE-86286BABAFA1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8bd0a2ad8179ce0f38b37fa7bdd697b8e6a18ce","datavalue":{"value":"1236.68182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623931$811377A0-BA15-4A72-B41B-8EA378A38C0A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1c8bc3aa2d47f4e023b15c3eb994cea89f6a4296","datavalue":{"value":"10.1007/11784180_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623931$E3A79250-C867-4CCD-88C2-6D99202FCB13","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"447b7ccb3b44606d06749a82accbbc81e15a98a8","datavalue":{"value":{"entity-type":"item","numeric-id":832231,"id":"Q832231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623931$E4E3945E-4A50-4A86-A684-BD93DA5697D5","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":"Q3623931$4FF3C193-040E-4F39-8364-1DC5F2363DD6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61858cb81e4b5eb34d2de9199633f44c2ecae313","datavalue":{"value":{"entity-type":"item","numeric-id":2996122,"id":"Q2996122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623931$D6DAF8AC-390B-48E1-9AAD-93FD1BDAEE80","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"962aaad97593dfc1dafb90617b979127f52bb556","datavalue":{"value":{"time":"+2009-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3623931$B8890501-19DD-4CB1-A178-49D36AB1D279","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623931$C45C2B96-0024-42CF-B6A8-5A31FD742B23","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87c808c7e5d41833a586ee97639612bdc4cb0391","datavalue":{"value":"5547650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623931$B33E1E26-7422-4A9F-8104-34759AD78213","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":"Q3623931$3EB20C99-8487-4F01-ACDE-B747EDD2A9A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bee5cb1919919ea97c6e467c1806a0893670d996","datavalue":{"value":{"entity-type":"item","numeric-id":14223,"id":"Q14223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623931$0B33A176-4C49-4309-960C-8583EB964FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"352070f92a42ab6c0ae16e5d77d8a717bc392ccc","datavalue":{"value":{"entity-type":"item","numeric-id":19847,"id":"Q19847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623931$414CE4AF-FFC8-40AC-8748-51696CB38A70","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":"Q3623931$D95FFBB0-073A-4E1D-8909-880436C29D39","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"871744fc398a01783acb49da9817fc8d2784c1ec","datavalue":{"value":"https://doi.org/10.1007/11784180_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3623931$3D4B4669-70B1-4828-A2DE-AE331B0B98B2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a0335b271405fec9b3687e2ebadb878a01fbe2b5","datavalue":{"value":"W2131207610","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623931$B361C203-B4BC-468C-8F3F-64B3241B4A6C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad2d35295038f2df360c593926d2672609d0f9bf","datavalue":{"value":{"entity-type":"item","numeric-id":5179134,"id":"Q5179134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44225af02c76ea6a3c2a5154414f668a6c3daf7e","datavalue":{"value":{"amount":"+0.8622055649757385","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":"Q3623931$62E9B88C-A5F6-454E-AB2C-549A43A43C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"627ba4387f742c5d23b1be138dcc40a489b1369c","datavalue":{"value":{"entity-type":"item","numeric-id":4806211,"id":"Q4806211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5eac67974c762d38eb97c2fb26d346a36d2df068","datavalue":{"value":{"amount":"+0.7687662243843079","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":"Q3623931$2F40C89B-F970-48CF-A31F-16D11D0887DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbb6768e94c7996322ce021fc09b34ca279a1730","datavalue":{"value":{"entity-type":"item","numeric-id":2958376,"id":"Q2958376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a64c8ba72eb1bea519e37906349313cee84b5f3","datavalue":{"value":{"amount":"+0.7642098069190979","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":"Q3623931$019703AC-A576-4591-A8BD-A9738C417183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94433ddcc3b1e1a51adee54d8cfb7b1456b7677d","datavalue":{"value":{"entity-type":"item","numeric-id":5432339,"id":"Q5432339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27f09670ee4ad623b939ea5201c2e5bf3d3ff404","datavalue":{"value":{"amount":"+0.7527440786361694","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":"Q3623931$977FCC25-FE72-4F0F-8291-2EB801C9ADE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c28fd55a29f6d32a1c55565c108241b7d263d37","datavalue":{"value":{"entity-type":"item","numeric-id":5170808,"id":"Q5170808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aefd865573b26aeeb10a58ad69167e08c228cec2","datavalue":{"value":{"amount":"+0.7483654618263245","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":"Q3623931$988503E3-A29F-4E72-8FE1-4A1AB37A970A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3623931","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3623931"}}}}}