{"entities":{"Q3356291":{"pageid":3366996,"ns":120,"title":"Item:Q3356291","lastrevid":49521280,"modified":"2026-01-07T11:15:48Z","type":"item","id":"Q3356291","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4208054"}},"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":"Q3356291$C92C4048-D9E1-4FA9-872E-599BBEE2475E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9bb1a9829013c1f0ff170a382e541a58534e1e66","datavalue":{"value":"0731.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3356291$A88AB24D-D1CF-42AD-909E-731EDB9F8E2A","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":"Q3356291$F056F165-5810-4578-BF6F-7444E907CC69","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3356291$7FC76326-DBDD-4D4D-8BF7-DA4A0018EE16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3356291$0330DE70-7D6A-4E86-9D14-0A78CA2CD534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3356291$9DCAB345-C583-41F7-AF2B-43F467DB9520","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3804a3c283336cf6be19031a90e85d4cf91990f2","datavalue":{"value":"4208054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3356291$FF7080C3-7D22-4960-9D13-E6856DF7BAB1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"830b33e67c89296e520000517ea6ee051f21df40","datavalue":{"value":"Expression Reduction System","type":"string"},"datatype":"string"},"type":"statement","id":"Q3356291$DA265BFF-1A3E-4002-9D3D-F57974D2F005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64eaf746f8323aca7f8e059d49fc382a5ad50bde","datavalue":{"value":"Church-Rosser property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3356291$0A5EB3B5-D49E-4CDF-AED7-2CD6D260F851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b92428ca68ca5bcc93b9856f1873e4b856cc4b69","datavalue":{"value":"Term Rewriting System","type":"string"},"datatype":"string"},"type":"statement","id":"Q3356291$303D859D-B734-4B79-8D5C-DCA19F6AE881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f714b2a9b1d91154484e7bcbbe4c91582c409d21","datavalue":{"value":"Recursive Program Schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3356291$83F18898-58EB-4367-9E98-731BFD02E992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51cee30bcdbcfa1f27301dc22f45d9c7a000de80","datavalue":{"value":"conservative extensions of formal mathematical theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3356291$EBF12DE8-8417-42B3-83F7-0B691624CC69","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30ea29f34af1ee45ad2057a2024c5255e1232d44","datavalue":{"value":{"entity-type":"item","numeric-id":526773,"id":"Q526773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3356291$BADF78CB-579E-47DA-8EB1-F507B4038A21","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":"Q3356291$51F494D5-6025-48E1-A9DA-D1C40E89BB58","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6942b1bab4459cd63dc3181ece976e71fcfb730b","datavalue":{"value":{"entity-type":"item","numeric-id":5898167,"id":"Q5898167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fc8172d7cea930148f63b7528f64a596451ae06","datavalue":{"value":{"amount":"+0.859990119934082","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":"Q3356291$ECEBCF7B-D54D-4FE0-B663-35259C558CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e58f713d21af079ccc9306b802683bc274f1ce2","datavalue":{"value":{"entity-type":"item","numeric-id":5958775,"id":"Q5958775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1f4fd6ebd45becd0bb2299b608490dfa7150a9d","datavalue":{"value":{"amount":"+0.7760475277900696","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":"Q3356291$C6BE3EBF-38E6-489A-8D68-257D8E8F14B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cb9403571a6dc3e95960e96e8bd313232891ec2","datavalue":{"value":{"entity-type":"item","numeric-id":1314356,"id":"Q1314356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6752e13c8fb47ba7f6407ae6eb44da667615eca","datavalue":{"value":{"amount":"+0.7676260471343994","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":"Q3356291$E5CDE9B0-34CA-4E87-A462-052915C15E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69acaf7970e4dc8a4ba216b21125e671ebf958ee","datavalue":{"value":{"entity-type":"item","numeric-id":2467565,"id":"Q2467565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"306c5cf38d4adc46dc971dea8747791b4e4a7ca6","datavalue":{"value":{"amount":"+0.765461266040802","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":"Q3356291$0F2D1102-0B87-4348-B7EE-C4D205B7F737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"002a7554786255a29985696e54021ec6ce349d3a","datavalue":{"value":{"entity-type":"item","numeric-id":4447226,"id":"Q4447226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c102e9840b2549cac2a6f1c1066ac6d608c9350","datavalue":{"value":{"amount":"+0.7615126967430115","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":"Q3356291$07E8F8C5-47C8-459C-A29A-E6FEFF2B4EBE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3356291","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3356291"}}}}}