{"entities":{"Q5740660":{"pageid":7770212,"ns":120,"title":"Item:Q5740660","lastrevid":101732672,"modified":"2026-06-06T02:40:15Z","type":"item","id":"Q5740660","labels":{"en":{"language":"en","value":"On recursive operations over logic LTS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6606946"}},"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":"Q5740660$38EDD408-4B2D-49A1-873E-A19558CEEEEE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0024fb07ba3e8db0e22c4a2752f97d4e733afcdc","datavalue":{"value":{"text":"On recursive operations over logic LTS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5740660$BBD362A4-5CCC-4F6B-A9FB-F71F51FAA959","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f8174c1b1a36f787eed542c30a92d37227cc8cd9","datavalue":{"value":"1362.68224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740660$2DE68338-57CB-4D8A-8129-163213BD2109","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e6a4721e1b88009570d95e7291117a8db102f640","datavalue":{"value":"10.1017/S0960129514000073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740660$15E42C5C-13D8-4C8C-B07A-5FA2A97B55F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89a4c0e1dab9edd016de4a57750de96b43a26c85","datavalue":{"value":{"entity-type":"item","numeric-id":2055959,"id":"Q2055959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740660$CB221A1A-EBEB-49D3-AAA3-B74ADE405615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4932014dfef1f5b63b3c54cf943bfa1796239d0d","datavalue":{"value":{"entity-type":"item","numeric-id":237991,"id":"Q237991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740660$0ECBE039-5E49-46FE-A547-124D9B12D21E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58d4c6adbebf972f0206b818b72b28eb7ad36031","datavalue":{"value":{"entity-type":"item","numeric-id":479807,"id":"Q479807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740660$6FC171FF-C3C4-4CF0-A80C-9968787632DB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740660$E123081D-9E33-4BD5-B631-13DC3F330EE6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f8fcfc88af95aea3cd67fc84c40dc96dff0f00ab","datavalue":{"value":{"time":"+2016-07-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5740660$F8AC2BFF-6D04-4773-9C21-511C4AA72706","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0b63f39bb288914c40ff60d3f2c0218217564cb6","datavalue":{"value":"https://arxiv.org/abs/1301.3350","type":"string"},"datatype":"url"},"type":"statement","id":"Q5740660$04A4BBDC-D20E-4F2F-B893-02319F01CDA1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740660$D3CD7BC7-494B-4AF5-8182-36DD56E52D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740660$03378E0A-7534-4240-90D8-F6B22CB0FC9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740660$BFF8FF67-7FED-44F4-854B-C715BAB6388E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7da39e0b8620be3851a66a53ba3b9b54a027e91","datavalue":{"value":"6606946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740660$7BC0117C-2578-4137-B43F-CB4691DC8E2F","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":"Q5740660$E36606B2-845C-45BF-89BB-484688EB1594","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f190ae2fde923a1f547028868c0453492060bbe","datavalue":{"value":{"entity-type":"item","numeric-id":1050111,"id":"Q1050111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740660$3C395E3F-25F9-4A67-84DB-243E1C2B222C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740660$4C2E75CE-625C-428C-9F63-6F939D616CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"283289231ead790315041364c2b7b2fb0fd56492","datavalue":{"value":{"entity-type":"item","numeric-id":988555,"id":"Q988555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740660$B2B9C694-99E8-4F00-A49B-C2F6FEDBE063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a534936fd0e514cb6f784f74c0bb78f8cb07d1f","datavalue":{"value":{"entity-type":"item","numeric-id":875513,"id":"Q875513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740660$3EFDA678-317F-4879-A0FD-4E2C196B09C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740660$DAAA8D6A-C886-443A-BA00-C8B47BA7DAAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef2460002d0adbe8417dfc0562899200f110b197","datavalue":{"value":{"entity-type":"item","numeric-id":4371690,"id":"Q4371690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740660$233A02D5-F554-43EE-9BC3-FA235DE5F104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e73c058e3df5c701e63f0f6d9f39f2b9e12c36e","datavalue":{"value":{"entity-type":"item","numeric-id":685387,"id":"Q685387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740660$FE2A9DB9-12E5-439C-8102-36B55BCB8A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f635a48afb14e9e530c9ca5f3f09f5973a7e4d","datavalue":{"value":{"entity-type":"item","numeric-id":4369863,"id":"Q4369863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740660$4300D262-1BFE-4CDF-A759-9622F25EBA62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e405bfa405be3da6a2f60b71f837f0c39de92ebe","datavalue":{"value":{"entity-type":"item","numeric-id":2842601,"id":"Q2842601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740660$D5495441-E4D8-4DEE-AAAC-331E64E537AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0223e77bbb63d3c4a170868420904ca6d59df30","datavalue":{"value":{"entity-type":"item","numeric-id":3731022,"id":"Q3731022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740660$B1E78FF1-4ABF-44B0-9E0A-A3E9FC8A198A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"429ba536d610533a4c5ba6770fb487a1f472c908","datavalue":{"value":{"entity-type":"item","numeric-id":3545273,"id":"Q3545273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740660$334ABC1A-E62C-473C-B7F7-4AD3C5EA1B32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3f0edd7e060f38db6ad7ad22f939c539dacf135","datavalue":{"value":{"entity-type":"item","numeric-id":2883115,"id":"Q2883115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740660$D25E5657-4E3F-4087-8E53-85B676E12B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668d4f42d16e3c68cea406be368e7edeb30ca51e","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740660$2613C231-6806-4525-AC97-A2D1A6B1240B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d630e5ecd91a4bf839fd44e533fa25f1b0e8d02e","datavalue":{"value":{"entity-type":"item","numeric-id":1263984,"id":"Q1263984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740660$58943144-117B-44AA-82FF-C3EA99A3A91D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04b89c35c7e7a60f330d5e75264364028412b99e","datavalue":{"value":{"entity-type":"item","numeric-id":549200,"id":"Q549200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740660$486DF6AF-9EF6-4340-BB13-2806530E24DC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c1845e6cb6c087c678d76a94db90e9c8f16565ed","datavalue":{"value":"W2104105311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740660$E52E9EF2-8B6B-4F2F-B1CF-0B04F1A3C6BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc2cfbec2cd11f892830f94ffe3b2371501f9df0","datavalue":{"value":{"entity-type":"item","numeric-id":549200,"id":"Q549200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97248e18a0353a6f91f323b3cda8737a6249827b","datavalue":{"value":{"amount":"+0.7869426608085632","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":"Q5740660$DF8EB3AF-CF31-40F7-A69F-8477743274E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cfe93acf2145a4ac4cd145762451a4d3b1403c3","datavalue":{"value":{"entity-type":"item","numeric-id":3599086,"id":"Q3599086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"010a58da15e6f77624447829bc1b322da1b6d485","datavalue":{"value":{"amount":"+0.7457264065742493","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":"Q5740660$E5B0DDA2-B4EF-45F5-B0CB-345B590FC86A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb9c091cb5ee9733a0a4eb9f98faad2b3bc9f7be","datavalue":{"value":{"entity-type":"item","numeric-id":5950716,"id":"Q5950716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b397b402e07b463b34ea48ba7396184d0aff112","datavalue":{"value":{"amount":"+0.7360264658927917","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":"Q5740660$0C190737-9CFF-4C3B-860D-4D924C643A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e662f513c1fe02d885b44f5224b251af20d9f189","datavalue":{"value":{"entity-type":"item","numeric-id":2842601,"id":"Q2842601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0d9dc9b78c6e1ce61eb894378c3769df73b6c9f","datavalue":{"value":{"amount":"+0.73016357421875","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":"Q5740660$EE893C4B-4A19-4714-B7EB-6D2450758D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ddcb5e461a2fe0d496c7ac52d248878f7c1b764","datavalue":{"value":{"entity-type":"item","numeric-id":2051830,"id":"Q2051830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"753b0911dc0fee9003c6a51ca4b66503c1f23bd1","datavalue":{"value":{"amount":"+0.7270686030387878","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":"Q5740660$149EEE07-05CA-4F19-A16E-3849751DE5DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On recursive operations over logic LTS","badges":[]}}}}}