{"entities":{"Q3558235":{"pageid":5588139,"ns":120,"title":"Item:Q3558235","lastrevid":50972357,"modified":"2026-01-16T00:56:06Z","type":"item","id":"Q3558235","labels":{"en":{"language":"en","value":"TRX: a formally verified parser interpreter"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5703413"}},"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":"Q3558235$CEC9D032-FF4F-4248-B3D8-C0371F0F3A85","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7f37ed86733bfc324c81c39110ff5314dc2c3e24","datavalue":{"value":{"text":"TRX: A Formally Verified Parser Interpreter","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3558235$231E7767-AE6A-48B8-AD8C-E6EAA02174CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e4006446415bc93d0d1ad05426fc1275ae7b19c1","datavalue":{"value":"1260.68194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558235$C813E54C-33A5-46C2-BE43-7D8FE6BB2348","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ce346d3ab07a579d50e71978dcf8fbf99e0e322","datavalue":{"value":"10.1007/978-3-642-11957-6_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558235$53A3AC7B-1A6A-4798-A9D4-352CFDBD375C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b43147a09f38888bdc440722fa90e825a1545dbf","datavalue":{"value":{"entity-type":"item","numeric-id":843948,"id":"Q843948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558235$ABBF9B1A-62C8-4F56-BAEF-4826CB330760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"39be7c1640a2e471f1535a7b6e98973419fd0533","datavalue":{"value":{"entity-type":"item","numeric-id":3558234,"id":"Q3558234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558235$DEEF6402-532D-42A1-8A66-51A93471E5C3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558235$60B07554-F9FB-47EF-8A67-654B058FE403","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0d489a41f5ce9c5a7b74a3f4e524032b8d5d571","datavalue":{"value":{"time":"+2010-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3558235$412A78EF-E1A0-46EB-9B10-A08775F6BA5F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558235$5233EE35-93CC-4598-852B-0F782DE9471C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558235$A139B976-2484-4F64-894A-9FC562AB764E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b346c28b59683ec7fa33512550b1f123f20a0474","datavalue":{"value":"5703413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558235$B1C4E96B-2D69-4794-A52F-E7B93EDF1F44","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"45a469a3ba8d5389be61c4f92cd274a70f310b38","datavalue":{"value":{"entity-type":"item","numeric-id":20800,"id":"Q20800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558235$4783DA7D-46DF-4A40-B117-E8D3F78FB72A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558235$F8B5C9D9-2E75-4321-AC4C-3DB873B6A775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4feaea7961d9cfdcd7e2968b41cc11ecb0c87f44","datavalue":{"value":{"entity-type":"item","numeric-id":21716,"id":"Q21716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558235$EC1316D7-0BCB-4D46-8166-E18741F628FF","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":"Q3558235$4EA011CF-19F2-47C9-9CDB-76AEA274B48B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cbe546216a21cdf5fee32f2ad14aba74349c700b","datavalue":{"value":"https://doi.org/10.1007/978-3-642-11957-6_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q3558235$3E85D709-9306-4473-B451-776AACEFEEB5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"797b689550db6601f6da0639e2fb816d56478bb3","datavalue":{"value":"W1689185560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558235$2FD684DA-7CAE-483C-9A8D-4613BC37A230","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"021056854ff653436144b9dfec07bf5430d0252c","datavalue":{"value":{"entity-type":"item","numeric-id":3617698,"id":"Q3617698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a1cbee830b9235591176bd1cf19e367f4aee4db","datavalue":{"value":{"amount":"+0.7794409394264221","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":"Q3558235$28F156F2-8268-4494-8F31-1EF18A7E6198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19d77acd967aada1d774ca0ed5a7fb0567c8db5a","datavalue":{"value":{"entity-type":"item","numeric-id":465493,"id":"Q465493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"584043ff2267a3c60e2f0a2603a6c2c07e98f7fe","datavalue":{"value":{"amount":"+0.7409040927886963","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":"Q3558235$5AD603DB-9D8E-4FA0-B100-A517426A9AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b722824f64dc0716559704ee45c0aa849d1492b","datavalue":{"value":{"entity-type":"item","numeric-id":5225853,"id":"Q5225853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1a77503b92f007c590d372ca833c034bd1c2483","datavalue":{"value":{"amount":"+0.729830265045166","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":"Q3558235$CAFDF29D-DCC5-4D79-8A3C-AC92F1E3FCE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"354456f1cdbfceb03998078de91dd1509e177eb1","datavalue":{"value":{"entity-type":"item","numeric-id":2892741,"id":"Q2892741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cb61b1179cf4b4f3bb4d7f5862fb4cd8ee25d67","datavalue":{"value":{"amount":"+0.726570725440979","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":"Q3558235$B5C31CD5-5845-4FCF-B0A4-13B0EAF6F2F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"960060a93294a5098b43a6ecd2ae77e3258c44c1","datavalue":{"value":{"entity-type":"item","numeric-id":2938042,"id":"Q2938042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8162f17bce3e3f360584a5492701d9ab557a121b","datavalue":{"value":{"amount":"+0.7247911691665649","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":"Q3558235$BB55DD2B-BDDE-42FD-B8D4-24025D3E28E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3558235","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3558235"}}}}}