{"entities":{"Q860906":{"pageid":862754,"ns":120,"title":"Item:Q860906","lastrevid":64900239,"modified":"2026-04-11T22:58:38Z","type":"item","id":"Q860906","labels":{"en":{"language":"en","value":"A rewriting-based inference system for the NRL protocol analyzer and its meta-logical properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5083538"}},"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":"Q860906$C51A817C-7FDF-4B00-A8A8-49FC84BA96DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1d36e426f3110d487f465d72fee491b98e9d1fc","datavalue":{"value":{"text":"A rewriting-based inference system for the NRL protocol analyzer and its meta-logical properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q860906$25652C53-321D-4EA6-97CF-E3F259093CEF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3820de9b590be789a6a4f766de63eb22da21d036","datavalue":{"value":"1153.94375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860906$915C5640-C27C-40C2-8E6C-56867750428E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5805f02852c8c5214c4739c3a07407316889a81f","datavalue":{"value":{"entity-type":"item","numeric-id":462490,"id":"Q462490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860906$08C3F3BE-AC16-4005-AF23-70F44966AEF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"893d4e95bab3f0a7b3894fc03f5329d8bc74115a","datavalue":{"value":{"entity-type":"item","numeric-id":831946,"id":"Q831946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860906$92A40829-9EF7-45C0-A82D-4BD160CCDFB9","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":"Q860906$CE0699AA-3F9F-4358-872F-BA7F279CCE80","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860906$F94832CB-E1F2-4E35-9345-54B0FA7362BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b4d2d9af04f3704bbbb24f8b36a1ade40f432b8f","datavalue":{"value":{"time":"+2007-01-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q860906$E2A65451-D6B1-404E-8F8A-2ECD496A4CC4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860906$8B9398F8-C27A-4088-93BD-6167D0B38879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71b42e4e887bf125b7436fe1334aef39047fb5c","datavalue":{"value":"94A62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860906$D9C17988-0B0C-49C6-BB5A-5B23D47A9E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860906$7F3F473D-F785-4266-9EDB-F648C4E3E9E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860906$003B436D-AB21-45CF-B82B-5BCC82F4F578","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"16500f5b8b36b1f46df52e399ad5db7f3f47ba55","datavalue":{"value":"5083538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860906$8D64395F-2E5D-4E95-9916-DA2109AD94AC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1cb9415da33ef4439e31401604aca35afdaf65bf","datavalue":{"value":{"entity-type":"item","numeric-id":24089,"id":"Q24089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860906$1DE1666A-2AF4-4556-BA9D-749D2B1E1264","rank":"normal"},{"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":"Q860906$F8BB47A8-3FC8-49A1-96F9-34618594A2EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"370b1d887d679924155714b84355ed741cc355be","datavalue":{"value":{"entity-type":"item","numeric-id":21449,"id":"Q21449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860906$E7AF2BE7-635B-4169-8AC2-0AF782176621","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":"Q860906$891F05F8-822D-408A-93C0-52D573BBF0B1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5afe7bd122bf959a09b021b34a0e911996794bfa","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2006.08.035","type":"string"},"datatype":"url"},"type":"statement","id":"Q860906$E3AE9217-C54B-445F-B8BC-697E351194F5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"58db97da745aa20797688be509738895e5797e84","datavalue":{"value":"W2058459987","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860906$76B6A0FB-0D5C-4D2A-BB7A-1D1A35A3305F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3b91b0219a3a9ed0b927057512982308856d969d","datavalue":{"value":"Q124982710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860906$76CFC210-2539-48D7-975F-0CD170087BAB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a351897245977aa0d098a2219b09f6d20cfa230","datavalue":{"value":{"entity-type":"item","numeric-id":2751360,"id":"Q2751360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860906$F072231E-04DE-4FD6-9272-00EBF1BCF486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8815be8d7d5cd349532a95ef9c4572798782f172","datavalue":{"value":{"entity-type":"item","numeric-id":5191511,"id":"Q5191511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860906$7ABBA077-B636-431B-9ACB-BDF5E811BE37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4928528fce2a350e872c3b2f160a2368e4b5def6","datavalue":{"value":{"entity-type":"item","numeric-id":557799,"id":"Q557799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860906$C69E81B0-D311-46DF-BA98-E5F03F3F90D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cca3b30d0a635de87e776bb5c6ce06af9f321896","datavalue":{"value":{"entity-type":"item","numeric-id":1608917,"id":"Q1608917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860906$15D4895C-5C25-48B4-9843-8D7219AC0121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a73265bad6ea50fe9fad5bfba6b38941e6752f","datavalue":{"value":{"entity-type":"item","numeric-id":3968876,"id":"Q3968876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860906$BFEE7EAD-91E9-4770-87DB-4C7EEF94DEE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890390b7c0f8ed661b7084e98573fc0b11a27b52","datavalue":{"value":{"entity-type":"item","numeric-id":2723425,"id":"Q2723425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860906$E4DCC8F7-683B-4D1F-A027-202531AC899B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e9acb750b5a1fcf5fe08b591fc6df182dd9e5e0","datavalue":{"value":{"entity-type":"item","numeric-id":3883561,"id":"Q3883561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860906$76DE4B9A-6B99-4269-9F82-E976F6906678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7713c35daf14caad287bcaf5c27b62f2fc020429","datavalue":{"value":{"entity-type":"item","numeric-id":3030252,"id":"Q3030252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860906$227636E6-B0C4-4210-9D6E-46EBB958361D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cc6419f32a05f369ee14fa6f7687547de9a08ab","datavalue":{"value":{"entity-type":"item","numeric-id":3128627,"id":"Q3128627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860906$9859A347-FDC1-4D38-A791-45E2F3E718A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860906$044CD590-052B-48E7-8918-544A52EEC385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35de7df0c420175ccefc3da8012590103dbdf602","datavalue":{"value":{"entity-type":"item","numeric-id":3839051,"id":"Q3839051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860906$C26F5F0E-4EFA-4F34-9770-8336E4641717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14a1a742e214d8245c75cee91c994ccfb70891f3","datavalue":{"value":{"entity-type":"item","numeric-id":880981,"id":"Q880981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860906$4A5C7889-1D12-4579-B92A-4211C483E6B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fefd3695fc6c127353eeeaf9bb631916756e929","datavalue":{"value":{"entity-type":"item","numeric-id":4168037,"id":"Q4168037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860906$9EEA994C-C5CB-4CCC-9EC2-BEC5BD019B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860906$136F1C73-61B9-44B2-B2E7-03BE087A4F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43f8b81729c278d2b25a84d10accbf70874b133d","datavalue":{"value":{"entity-type":"item","numeric-id":4263167,"id":"Q4263167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860906$D256CEC6-B985-4577-B6F9-8D7E1486586C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c6863cbfa4229e116104dfadbfc53c85892deb3","datavalue":{"value":"10.1016/J.TCS.2006.08.035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860906$CFB07612-AC9E-4C82-8488-3BDA61B73581","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9254ebf2b3d73b9a225532b178c259270211758","datavalue":{"value":{"entity-type":"item","numeric-id":462493,"id":"Q462493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f20821ea8b75741226408fda818c425ae0d1d36","datavalue":{"value":{"amount":"+0.793706476688385","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":"Q860906$D290702D-D4B9-4147-B74C-2EE013EA1F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"780b74536356b39033ef5155017f45ba1fda429d","datavalue":{"value":{"entity-type":"item","numeric-id":3184784,"id":"Q3184784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11cda0fd38746f974097972672e9165c0c5a7100","datavalue":{"value":{"amount":"+0.789630651473999","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":"Q860906$099B8E3A-D8E1-48D8-9E63-A48B52E385B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7202c1b0fb8535be4ceaad98280d6791c0941a7","datavalue":{"value":{"entity-type":"item","numeric-id":3128627,"id":"Q3128627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef89ce60ddaef148e2408d7504612e0a84581393","datavalue":{"value":{"amount":"+0.7772153615951538","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":"Q860906$AC31DA82-A2D7-4996-8FCB-00D5948EB2BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d2b85611d510d56c2ee3cd15c0ae54db53dcac4","datavalue":{"value":{"entity-type":"item","numeric-id":2848483,"id":"Q2848483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14e93ae01afa3560f4f6f7f29efae14172425f97","datavalue":{"value":{"amount":"+0.7184924483299255","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":"Q860906$D9DAA736-60C8-4734-8408-859F7EC8695B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba0ec567c443e85a8f52d5db4311b0af44a74f2d","datavalue":{"value":{"entity-type":"item","numeric-id":4808734,"id":"Q4808734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f1efb8bde5335bc14ecd21f7b8c45f6180582a2","datavalue":{"value":{"amount":"+0.7139619588851929","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":"Q860906$FEC9A073-B790-479A-BED3-31B8DF01A5D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A rewriting-based inference system for the NRL protocol analyzer and its meta-logical properties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_rewriting-based_inference_system_for_the_NRL_protocol_analyzer_and_its_meta-logical_properties"}}}}}