{"entities":{"Q1134541":{"pageid":1145290,"ns":120,"title":"Item:Q1134541","lastrevid":42902933,"modified":"2025-07-15T21:22:24Z","type":"item","id":"Q1134541","labels":{"en":{"language":"en","value":"Mechanizing structural induction. II: Strategies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3659010"}},"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":"Q1134541$67127436-992F-4A6D-A95A-F8A336CEEB11","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1c6a4565ec566240034c5ca43e3b1367be10c31b","datavalue":{"value":{"text":"Mechanizing structural induction. II: Strategies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1134541$8EB41BEC-8F83-4D5E-8540-B36E63F1D363","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d9dd31276acf7dd6e5d30c5aa72d79ad23fff041","datavalue":{"value":"0423.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1134541$2C2DDB82-1B08-4F7E-84E9-30DAABEFC219","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"49acf01dd26930a63ea46794e0854855cf41998b","datavalue":{"value":"10.1016/0304-3975(79)90035-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1134541$ED98373F-28D2-4244-93E9-9A5D42349D08","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e076fcd0af7f37e3a1e56ef98377a7acbfcdff4d","datavalue":{"value":{"entity-type":"item","numeric-id":1134539,"id":"Q1134539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1134541$A03FDB75-5040-4F1F-8D18-368B168E2F67","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":"Q1134541$2135D16D-DFD9-47BD-95BC-67EE32337BD7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q1134541$D37AC39F-A859-4E41-951E-BA85EB3F63BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1134541$3BDB7F59-01E7-41B3-A145-FDAD65879252","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4bbebf33d482ab9aed0de9cb7e3a6471d2e36b43","datavalue":{"value":"3659010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1134541$EAC3720D-AAFE-49D3-A45B-EA87F56B27EF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdb15360489ef57a2f9a471961704837ccc5bc83","datavalue":{"value":"search strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q1134541$FD8FEEB5-3FC4-499C-A680-4F97DE7E7736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03f55bf1df682210d59e19393fa36519cec337e7","datavalue":{"value":"structural induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1134541$7B4C7CCA-BFA5-4AC4-B90C-735648A1BB01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb4fb8c29fbb296345b09a1840f7931ec0647a4e","datavalue":{"value":"program properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1134541$0E5AD27E-01F5-4359-B369-76D2D71A6908","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e07b63a7544a6d7c83390f82ddae368b77e124c","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1134541$BCF89FDE-F418-4E3A-81D2-1EF068F8F9A7","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":"Q1134541$B185B482-5747-49CE-90A3-A1275184093A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f7d39b3fd2b803e871cd35de313afaa72403ce38","datavalue":{"value":"https://doi.org/10.1016/0304-3975(79)90035-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1134541$8DFC7172-29DC-4B01-A521-0E586A0ACEF0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"30e70e690a9333bbdf280dec7daf989b4db6737d","datavalue":{"value":"W2009923373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1134541$FDE61801-BE87-472F-9DE9-C66C6C07541E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0843e7f8e29d84aa6b7b4f9a110eadf9b3b1959","datavalue":{"value":{"entity-type":"item","numeric-id":1134541,"id":"Q1134541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1134541$55AEF125-B12F-4A17-ADD3-2FD3168CF4F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a28ce065a492e192f300a4c25b3939254c4181ea","datavalue":{"value":{"entity-type":"item","numeric-id":1134540,"id":"Q1134540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1134541$DB3F6751-8EE0-4842-B5C5-FB98C1FF7CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"527c7202e783b352edb1e0158278fe604f9a2b5a","datavalue":{"value":{"entity-type":"item","numeric-id":4105761,"id":"Q4105761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1134541$11954F3F-6412-4F44-B80F-DB5C1BE5496F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab8ea372caa817f188e4e943a4cbc2ab55cc9d12","datavalue":{"value":{"entity-type":"item","numeric-id":5549412,"id":"Q5549412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1134541$AB998DA7-1E68-4039-9E10-EFFD5078F103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4a6e1c0239fbf405e8506dd576c4d5138f0d967","datavalue":{"value":{"entity-type":"item","numeric-id":4125718,"id":"Q4125718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1134541$C8F0E3EB-19EB-4CBD-B8EB-3BEF1D18C2D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8528e1f4f082d8f3a7c4c87b3334f87e15a45ebd","datavalue":{"value":{"entity-type":"item","numeric-id":4055171,"id":"Q4055171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1134541$3861F7A9-89A3-4905-8DCA-26BCD2560135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"842f71e6b1ce86df9c77df6a6bc0e68b033a0f97","datavalue":{"value":{"entity-type":"item","numeric-id":5674962,"id":"Q5674962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1134541$96A60277-051D-46C9-836B-BD40C948BC66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4252f412990f92944bc662cd3970f0d122c2c799","datavalue":{"value":{"entity-type":"item","numeric-id":1259437,"id":"Q1259437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1134541$49D2FB87-8455-4E42-9B44-A49D5725CF5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed6186f00d683b4c7cb7f70af7a03fd2b654c87","datavalue":{"value":{"entity-type":"item","numeric-id":5632554,"id":"Q5632554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1134541$AFD9E75B-80BB-4750-9B55-036958768A40","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c5dde38cba09fb779414f55bf6ade1f3f07f4ce8","datavalue":{"value":"Q128039954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1134541$46F0DAD6-8F5E-4EEB-BE0D-831FBF8A8604","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1134541","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1134541"}}}}}