{"entities":{"Q3358247":{"pageid":3368952,"ns":120,"title":"Item:Q3358247","lastrevid":49532710,"modified":"2026-01-07T13:25:31Z","type":"item","id":"Q3358247","labels":{"en":{"language":"en","value":"TOWARDS HIERARCHICAL DESCRIPTION OF SYSTEMS: A PROOF SYSTEM FOR STRONG PREFIXING"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4211526"}},"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":"Q3358247$EB9AB914-F375-488F-94F0-4351FB9ED61E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b66d12dede65bcbfd2ea83c209298d3a87cbd8c","datavalue":{"value":{"text":"TOWARDS HIERARCHICAL DESCRIPTION OF SYSTEMS: A PROOF SYSTEM FOR STRONG PREFIXING","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3358247$59FCF5D2-0880-406F-8975-563DD4DE426F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c6406ab81528beea05c540ef44667057404a878","datavalue":{"value":"0732.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3358247$0F38B4A1-2BAE-4561-BE62-7AD63FE0924F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4e403d324339436b0a4264e16160046914482a13","datavalue":{"value":"10.1142/S0129054190000205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3358247$81A2D0AB-BEEE-4C4D-87A5-5770076CF5E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eec51c07710be78560907d5497cf10b0b2c10907","datavalue":{"value":{"entity-type":"item","numeric-id":199202,"id":"Q199202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3358247$F04EF4DB-96EA-400F-99C9-C94AAB5DEE65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ab74128b30d9d3177b548d034f074daa4c15d68","datavalue":{"value":{"entity-type":"item","numeric-id":239557,"id":"Q239557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3358247$BF80B3CB-183F-46D4-A6DC-7C0F97BE8C55","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3358247$DBD14FB2-0684-4294-B7B7-F13FA98362A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3358247$E6867936-3A77-4034-95F3-37660E88F9A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3358247$CF75EEB7-5F25-495C-9431-9D83F8AD266E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3358247$EB027448-AC65-41BC-9756-AF60EACD9031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3358247$949B37DF-69E8-4AA9-AEE3-B5062F2B9D41","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c77f62c5ea8efb1493a776996947935272974578","datavalue":{"value":"4211526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3358247$B12084B6-A8D4-4CE1-8C17-94E61E79BF15","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a9f32cbfa5c8d7cfb2ab1e2b2c8b3fceff3b471","datavalue":{"value":"observational congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q3358247$4F3E7B03-AC97-4917-BCEA-01C423F6CFD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3358247$13F0C097-84BC-4EC8-B98B-6DB06778F1FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccff256d276d48ef8ef9f9e810768c6e942c7281","datavalue":{"value":"process description languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3358247$65934C22-9A12-4FFD-99D8-45D01294F0E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33c46f1b4513d0c82269c4cc2ac3fbf764deafc6","datavalue":{"value":"atomic action refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q3358247$6686F6E4-0E0E-45E2-B0B0-DB97A89538F1","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":"Q3358247$0D2DEBCC-718A-4669-872E-F332C61A9251","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c2cad1da8f9507ea4f935089ea5522cacfcbf76","datavalue":{"value":"https://doi.org/10.1142/s0129054190000205","type":"string"},"datatype":"url"},"type":"statement","id":"Q3358247$5410C8FE-F294-4764-A7F9-F63C55D48552","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4b57bd296776515fac8fcde4e7e8da81652bf8b4","datavalue":{"value":"W2101125331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3358247$57E89F6C-F57A-471E-BAC6-7D09824A9FB7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8c638aed1c8277fbfd21e45c4bc9e0bf2957e4f","datavalue":{"value":{"entity-type":"item","numeric-id":4018071,"id":"Q4018071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fc7ffdb02c8195840149adf9383abeb34953dad","datavalue":{"value":{"amount":"+0.8935694098472595","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":"Q3358247$C609F593-ED99-4F49-98E2-F810759AB3CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f220de70fd0983d49b09140e73df70e1ade32f83","datavalue":{"value":{"entity-type":"item","numeric-id":4035233,"id":"Q4035233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c697fc9557c74eaf569a01756c4b2877216b2f7","datavalue":{"value":{"amount":"+0.7550180554389954","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":"Q3358247$8C5C041A-0D06-4EA1-AE2D-C4CCBF203356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea5120c1d8e3ede7fcd6259c5f83db9a5534117d","datavalue":{"value":{"entity-type":"item","numeric-id":1854462,"id":"Q1854462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c697fc9557c74eaf569a01756c4b2877216b2f7","datavalue":{"value":{"amount":"+0.7550180554389954","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":"Q3358247$A3151874-957A-49F1-86D2-D69B49A74EE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00eeb0d798573ad1642f2d41f77dd8eb4e2388fa","datavalue":{"value":{"entity-type":"item","numeric-id":4036589,"id":"Q4036589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cd0ca9e11c151f1c4f4921d927794970f972e3a","datavalue":{"value":{"amount":"+0.7136147618293762","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":"Q3358247$4F354DA4-3CBF-44CE-81E5-79B23E0B5BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2db83a0eae6ef674b25a558d72ce173867a5309","datavalue":{"value":{"entity-type":"item","numeric-id":911322,"id":"Q911322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"085455194692b53e618260239dcdaf625b33907b","datavalue":{"value":{"amount":"+0.7124300599098206","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":"Q3358247$22A853BD-4A8D-40DE-B2F1-1F8706AD3A10","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3358247","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3358247"}}}}}