{"entities":{"Q5195286":{"pageid":7224858,"ns":120,"title":"Item:Q5195286","lastrevid":92113538,"modified":"2026-06-05T00:54:07Z","type":"item","id":"Q5195286","labels":{"en":{"language":"en","value":"A formally proved, complete algorithm for path resolution with symbolic links"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7106517"}},"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":"Q5195286$D08B7226-3AE5-4622-8A71-E61775ADDFBE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"832a07929f43053e8066fc7faae2f3cb4b1f0989","datavalue":{"value":"1451.68171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195286$96A5E849-B07A-4251-B982-C2AEF214E603","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"14ea40b6bd7a7f4e984fc7129054eb2fa072c5f6","datavalue":{"value":{"entity-type":"item","numeric-id":988101,"id":"Q988101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195286$41FE81D5-C722-4FAD-9AA3-8F1B186247C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"61247a6cfacb9eeb3a3ab0f75e5af171f5c6f881","datavalue":{"value":{"entity-type":"item","numeric-id":5195285,"id":"Q5195285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195286$567B9F2D-DFD0-4DAF-80D8-C8B3E88088E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a94b145bad45cfe6e90ce99cf046bd3d7039d44f","datavalue":{"value":{"entity-type":"item","numeric-id":604391,"id":"Q604391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195286$01850FE0-BD71-4D5B-A02D-3BEA9375BCD9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e86f4a04633c16a30a7b65e0a3f44b477c2fa3c","datavalue":{"value":{"time":"+2019-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5195286$FC5D440B-F76A-4BA2-A45E-BD17A6457E06","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195286$1F42E460-7E0D-4EE1-B4B3-FD5880144BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195286$FD21001B-EB67-40B7-8D8B-2124E3907B22","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f544165d13240260ac19d47a155eb9a3ccd3ce0","datavalue":{"value":"7106517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195286$E99BE5B8-FF7E-4D8E-9D31-5F61B134086A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87994eb840961e5165378eb7f918102952689b42","datavalue":{"value":"formal specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5195286$E3BCB327-9155-4B0B-8E12-9174B6272CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aaa74f946f4a7cf49359214ccbeddb232ccd2dee","datavalue":{"value":"deductive verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5195286$B6A8E9A3-D07A-4C55-9328-3AA12631FE9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86dfdee09dfbe1e14c865d2ad8f7443415cbfc4a","datavalue":{"value":"program verifier why3","type":"string"},"datatype":"string"},"type":"statement","id":"Q5195286$6B887BC6-E29C-48E3-8AAF-320C722D9D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a063683d70dd113219b4098496dd5510ad51c2e6","datavalue":{"value":"Unix file system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5195286$38D73EF0-65DC-45A6-BB1A-5CC532FAA795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eee6bf22fe2afa51f94ac79b93f9c56c16d45244","datavalue":{"value":"path resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5195286$2BFEF6B8-90CD-4C96-94E5-9021F2322AA9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"602b32d79a3dd12c7713e80fb0597b8ab4375f08","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195286$25807B1C-61ED-41A6-9279-C4458F87C2FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a0096a883675e69748b08a01c7e85b0c1ed23a9f","datavalue":{"value":{"entity-type":"item","numeric-id":1350714,"id":"Q1350714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195286$0C25E30C-620B-41EF-BD31-7980959E5523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"31f1ce98b178abd797205654762ca461950434bc","datavalue":{"value":{"entity-type":"item","numeric-id":21688,"id":"Q21688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195286$3831F4F2-9FC1-40F9-8F8A-B04F1B8130F3","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":"Q5195286$94C53C60-6431-4528-85FB-B8A2C0E07DE7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"14374a51c0c9ae8b7cc39e3080ca5507293589ab","datavalue":{"value":{"entity-type":"item","numeric-id":5195286,"id":"Q5195286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195286$A463A958-EA16-4E5F-A3CC-D6D4AFBCEB5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a8f83c2cebf2b3fc79408b8fab0ed6721cf4d7d","datavalue":{"value":{"entity-type":"item","numeric-id":1630027,"id":"Q1630027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195286$E26E7BE5-1713-4247-9128-5F7BF24F997F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f6d658032331dfb0270d5e1966446426f3c01f","datavalue":{"value":{"entity-type":"item","numeric-id":5326280,"id":"Q5326280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195286$8187D403-A8A0-4B3F-B385-7FF383C281B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6118e2f7db6fca004ba428c44061cc9f725c8fcb","datavalue":{"value":{"entity-type":"item","numeric-id":1630019,"id":"Q1630019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195286$7297FDD0-073F-4EB4-876F-AB6425E882E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ba2343d9ae52cfa904a8dfd2d5c0555907f2be37","datavalue":{"value":"10.6092/ISSN.1972-5787/6767","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195286$F8CB9091-97B2-4E17-A97F-D50D737F50A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d74575d9dda513fb4dbf73a5150199c97ecf843","datavalue":{"value":{"entity-type":"item","numeric-id":432156,"id":"Q432156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"744ec1f0da1565696735fc6531d8ba92022812a1","datavalue":{"value":{"amount":"+0.6758419275283813","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":"Q5195286$CB5EB001-05F0-472B-88ED-67FF7E00DFE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b091afc21264a12eae69e4f60fbe967e84eb8875","datavalue":{"value":{"entity-type":"item","numeric-id":2994491,"id":"Q2994491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c931a78adaff4f53ff1927692f553c0cd3316e1","datavalue":{"value":{"amount":"+0.6711440682411194","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":"Q5195286$35C02246-974A-4C66-9E76-C3708D31C505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b628cb0babe4b57407e70d7e73ee7151fedec0b7","datavalue":{"value":{"entity-type":"item","numeric-id":3692866,"id":"Q3692866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06cb0732def49b20f4cd5f211145c2190526a89f","datavalue":{"value":{"amount":"+0.6631692051887512","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":"Q5195286$E0F8EE8F-E459-4D79-A20A-A68FAE519AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80d826d99d59bf7ee171015815b426428bfe39fa","datavalue":{"value":{"entity-type":"item","numeric-id":3751043,"id":"Q3751043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e70347728a47c63fa356c7c79588009e36423874","datavalue":{"value":{"amount":"+0.6337087750434875","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":"Q5195286$6BFC05F0-09FF-4873-9C40-DE616A20C432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edcd4b9a23103ae0e3a8ef4d77f50344631b00fc","datavalue":{"value":{"entity-type":"item","numeric-id":3765263,"id":"Q3765263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"323ce1324017f8ad4491be7594c00f243eeb6946","datavalue":{"value":{"amount":"+0.6281907558441162","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":"Q5195286$4EB10E29-5542-4EE3-881E-DB8F74100E63","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A formally proved, complete algorithm for path resolution with symbolic links","badges":[]}}}}}