{"entities":{"Q5432341":{"pageid":7461905,"ns":120,"title":"Item:Q5432341","lastrevid":50240381,"modified":"2026-01-13T15:13:26Z","type":"item","id":"Q5432341","labels":{"en":{"language":"en","value":"Innermost-Reachability and Innermost-Joinability Are Decidable for Shallow Term Rewrite Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5222812"}},"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":"Q5432341$A90243A1-6A75-44B9-9524-21CCE377A79D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"38a34dc7b0058884e840985af3d6391b887a0ba1","datavalue":{"value":{"text":"Innermost-Reachability and Innermost-Joinability Are Decidable for Shallow Term Rewrite Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5432341$DAC6FED3-0C9B-4A12-9612-32279DFDD71F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c59a86a67b8ff598a293796581913b7532baec9","datavalue":{"value":"1203.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5432341$DFCBC35B-A1D0-4CAB-94B6-320E8E415655","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc86801387f962f23ea2adb152f4e8c1ef356085","datavalue":{"value":"10.1007/978-3-540-73449-9_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5432341$F11D7A9B-52C4-4374-B704-D453E202CB60","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"957322e0e65309e69a1881e776e7b58b540ff033","datavalue":{"value":{"entity-type":"item","numeric-id":734040,"id":"Q734040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5432341$DDA6367A-07DC-4449-9B25-F9F77F209E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b36ac5837f173f23b45ef027bda6c9ec1c084a1","datavalue":{"value":{"entity-type":"item","numeric-id":2786123,"id":"Q2786123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5432341$76F2A129-869A-4852-B36E-723ACCAC8780","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5432341$64BB6E19-3E8E-4921-AA25-E23F2CEE826D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a793ba04367ac87554a44ec77bbc84d2cc70c8c","datavalue":{"value":{"time":"+2008-01-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5432341$16AD832A-FCA4-489B-B159-98AB24AAAA00","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5432341$926BE014-7B3A-4381-ADD8-C1CDB1D41072","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3febf60b5d94db63c7a199bce6e2dfd2c148c834","datavalue":{"value":"5222812","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5432341$387E8038-17D4-4D45-A214-DE4662CB10B4","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":"Q5432341$592F7F2C-91B0-4424-B0B0-9E0ABFDE18C9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cfa1d902ad6b74f36a6cc0f101f2a19fb07f3b48","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73449-9_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q5432341$3311CB2C-F3EF-4CB3-81C6-AF94CB9A3982","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4f56c255fe67ec24fc322a3a41fb9325921574bc","datavalue":{"value":"W1574647262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5432341$9BAEC803-6763-437C-BAC6-102A5E47E53C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05e49eb1c24d0f4103d52b4dac0c0d347ed252d1","datavalue":{"value":{"entity-type":"item","numeric-id":3522018,"id":"Q3522018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a3001cfcb021b52c0a5b57ada5f5b3d4250504e","datavalue":{"value":{"amount":"+0.8913981914520264","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":"Q5432341$4DA302E5-39DD-492E-919E-AA2BC8D5B76E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6e119c2c51f74d1f49080f075602c8b2ee36e24","datavalue":{"value":{"entity-type":"item","numeric-id":964737,"id":"Q964737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"380b2995920b58ab685f29f60d6ec6dfbf921aa6","datavalue":{"value":{"amount":"+0.8460689187049866","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":"Q5432341$5DA92A68-4524-457A-8662-444303F657C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d74d0a9bd5c419ca94dfc8bf6669273243f08319","datavalue":{"value":{"entity-type":"item","numeric-id":4418639,"id":"Q4418639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"beb87e90ebfb848c905e113b14f22d199b7d423e","datavalue":{"value":{"amount":"+0.832463800907135","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":"Q5432341$F66EE07A-188F-4178-8F3F-65CBB56553C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42315fbf5ca9c988037b846db27992e8a7c983f5","datavalue":{"value":{"entity-type":"item","numeric-id":5432342,"id":"Q5432342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9572fe1ea4a3f80f751f17fbff4316454b94bf19","datavalue":{"value":{"amount":"+0.8248885869979858","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":"Q5432341$B9CF799D-9690-4FFD-9994-CEDC25F892FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0940618d49c132337300de670c9f665db3b062e","datavalue":{"value":{"entity-type":"item","numeric-id":5394600,"id":"Q5394600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"851ba86c7834ba791f784ab281cc17223c385b2d","datavalue":{"value":{"amount":"+0.8102867603302002","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":"Q5432341$F08066E5-E3D1-4587-89AE-F4FCC62BF515","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5432341","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5432341"}}}}}