{"entities":{"Q13169":{"pageid":13225,"ns":120,"title":"Item:Q13169","lastrevid":56209092,"modified":"2026-03-13T05:19:56Z","type":"item","id":"Q13169","labels":{"en":{"language":"en","value":"HOL-Boogie"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"2cb81882c4362e01268019116d994351e981f06f","datavalue":{"value":"409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q13169$094ADC73-EAF7-4845-BFC1-A92EC5F022B1","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"0b0bcae903e5999b737287c32eeabf20091f8d0f","datavalue":{"value":{"entity-type":"item","numeric-id":3543656,"id":"Q3543656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13169$FB23515E-A1B1-4201-A1C7-CF2A9F4FEF28","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13169$7D16E814-F440-42BF-8872-60EF3136492E","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"e562e4b4d60ad42d5fad32723135a424b3c6a33b","datavalue":{"value":"http://www.springerlink.com/content/w171805777015235/fulltext.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q13169$F3353A14-6299-449F-9C8B-D677DC2C4CE7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q13169$2F9CCDC9-1F53-4DE4-8388-9038B0CC1831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q13169$1728B818-F22F-4DA0-9E6C-06869D9F6BBB","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13169$67404E8D-201B-48E9-B969-1C0DC82C23E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ce995af0d54f8ab3594278c155d6ae4d6e3a6165","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13169$6950F45A-82E0-451B-A170-CE9A1CFEC795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e3e9bb7b329ec8e71fcb8b28c9805dd4509dedab","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13169$D03DD59A-802C-41B2-8650-A338D4516DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc4eff68b160f30b8d66dfcb610a0ea7a927079b","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13169$A8F1AFDD-2874-4C9D-9EB9-260466DA2CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a78d10351f0710c61eb19af8201147471568ba3a","datavalue":{"value":{"entity-type":"item","numeric-id":16796,"id":"Q16796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13169$E9F63EF1-29AA-4F7E-9EFC-9D1CCD284FA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb0bb7298ee3f535da596bef22c2f5c7449c7dc4","datavalue":{"value":{"entity-type":"item","numeric-id":19271,"id":"Q19271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13169$815A1EC3-E8E9-4708-81C6-E2F007C72949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1286389c58ecdb69c422604e3e1f0dbe5e0370f0","datavalue":{"value":{"entity-type":"item","numeric-id":15691,"id":"Q15691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13169$DB6B96B1-6088-4D72-BE62-76AC327DAC0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8aafdf7df9ab6945d55471b6dee241d20aae57bb","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13169$DD84C6F3-A6EB-4569-AEA5-D708180944DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b121f90a35f701bb334b6bcfe7c89a351a3e03b6","datavalue":{"value":{"entity-type":"item","numeric-id":19268,"id":"Q19268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13169$C71ED366-C117-4D0B-8C51-F9310034F0DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d0ddbde69b2a268285fa6ad8863ac28942f69652","datavalue":{"value":{"entity-type":"item","numeric-id":16769,"id":"Q16769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13169$FA171F3C-59A7-4EEC-874F-A7807778E929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13169$5C51C824-F81D-473D-9892-1F09E7AAB745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"21ac0ce33ff9fe81fbefb6b70fe4d49e97e0f1f7","datavalue":{"value":{"entity-type":"item","numeric-id":18433,"id":"Q18433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13169$5B10FF6B-07B8-4E8E-A6A1-19511A9FD567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f756f019005243c78675258773d8af1c07719cf8","datavalue":{"value":{"entity-type":"item","numeric-id":16615,"id":"Q16615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13169$1F062BCD-9A25-471C-AE74-75D33E06EB84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b82152c1528c5be7e2040d1abd74977f4fe51817","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13169$3E3A0A72-0F45-4BC8-8D35-5AE55830EF85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"331995fe532c23e24d72d01a1bd6245fafcd9671","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13169$36D9910D-4F3B-41FF-90C4-241F422CC309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"513c7c9299d185e5213347a0723cbf630d7c6abe","datavalue":{"value":{"entity-type":"item","numeric-id":19608,"id":"Q19608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13169$CCC04F84-9135-4DDA-98A9-217B2E543CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13169$4B5F3047-53E6-42E9-810C-BCC9DBFBFDAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a4b5c8d7b5bb8c686d8470c623926980f696bd2a","datavalue":{"value":{"entity-type":"item","numeric-id":33328,"id":"Q33328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13169$9D019CA8-8458-4E25-96D6-28F75CD1D0FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"27ba7e3c8405ebd661079c5c56868c6d995c0bb8","datavalue":{"value":{"entity-type":"item","numeric-id":17038,"id":"Q17038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13169$587B19B2-8307-4683-BC19-7CE3A5953B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0f3491a177e1cfc106ae0e5966e8456137b107ae","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13169$262C083A-31BB-4176-863B-496DC8BC5F4F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"HOL-Boogie","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/HOL-Boogie"}}}}}