{"entities":{"Q2947468":{"pageid":2958188,"ns":120,"title":"Item:Q2947468","lastrevid":58061670,"modified":"2026-04-03T15:56:35Z","type":"item","id":"Q2947468","labels":{"en":{"language":"en","value":"Equational properties of stratified least fixed points (extended abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6484976"}},"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":"Q2947468$D99ECD23-ADA9-47B4-AEC8-B11E0BDFE595","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73f120a603eca0c875edd9dcc0aad6d8f70fb381","datavalue":{"value":{"text":"Equational Properties of Stratified Least Fixed Points (Extended Abstract)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2947468$8F1EC021-4AE7-4CEA-9A7C-A31AB12074A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c13011c7d8c4f466c1fa78890f9d2838b4dab97","datavalue":{"value":"1465.68169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947468$4AE61067-0241-43F0-A1C4-41498F39E643","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b351d4103c2c6251ca4c173d56fbd887ee4f210e","datavalue":{"value":"10.1007/978-3-662-47709-0_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947468$739E3CE4-CEF5-453A-9771-C3B26ABBBF6D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e99766f237ba2ec64cd66b6c230146d768ddcdad","datavalue":{"value":{"entity-type":"item","numeric-id":2820680,"id":"Q2820680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947468$4A397702-5A48-4161-A238-E741276E58C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cae2e7e737914208fb707560c7153e42be1eb82c","datavalue":{"value":{"time":"+2015-09-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2947468$4CBD6E6E-9467-4E9E-9732-E55A2C24A3E4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d8dca404afd8ab4441eae0a22c4106260dfd373d","datavalue":{"value":"https://arxiv.org/abs/1410.8111","type":"string"},"datatype":"url"},"type":"statement","id":"Q2947468$3E6EACD5-D1C8-4E1B-B051-A85D4E7871FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947468$8D8976C7-0774-4691-9FD6-7C227C7D008B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab61fb2d4201bc94cf09f5737001908cd5ef158e","datavalue":{"value":"06B23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947468$93036EEB-4554-4FBC-9738-3860CF356A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947468$81E00262-6259-455B-A36B-2D36FFEAEDC3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2335c0451f22d54f93518c5a0cbfae1726ec9df5","datavalue":{"value":"6484976","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947468$677BAD4F-C333-42AC-A87C-3EB8DDA6F5C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2839fa7df2030a45c4fad5ee858120056b896af4","datavalue":{"value":{"entity-type":"item","numeric-id":265801,"id":"Q265801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947468$941765D1-E52D-4FC1-8205-DBF719544DA2","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":"Q2947468$D2EB929E-ECB1-4144-A39F-289A90D346B6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2528c10b0f8cfe0c77f64ea86a1df7dbad2b87b2","datavalue":{"value":"W1443075279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947468$016A612D-1D28-4C8E-BB4D-3459E6C8B351","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"680077469f54e4acd01b9af9115f7caf7844cecf","datavalue":{"value":{"entity-type":"item","numeric-id":4850062,"id":"Q4850062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947468$C54B74A9-9FEB-417B-AC7A-C1CDA727EC9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"629f4be8f3ff3ca818248904de7d0413a94af358","datavalue":{"value":{"entity-type":"item","numeric-id":1825026,"id":"Q1825026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947468$CB4AB4E2-FF26-43EE-820E-8EC03EE72492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de1e80d2e449e5eeaf6b04fce2b236d56d3769e0","datavalue":{"value":{"entity-type":"item","numeric-id":5287508,"id":"Q5287508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947468$B0E3E0DE-4261-4E01-862C-536961899DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99d53ec596017a36983e3e8a836f9f5e306712cd","datavalue":{"value":{"entity-type":"item","numeric-id":672122,"id":"Q672122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947468$182654D7-DF20-4B1D-8E7B-DBC5841CA348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22d3801a309a366951e962c78fe1174264a8211f","datavalue":{"value":{"entity-type":"item","numeric-id":2931276,"id":"Q2931276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947468$73E946AE-E641-41EC-B21B-07D9349DE7CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947468$D7A1A5B6-5202-444C-AC87-A5608B4F7CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"522109033fbdc9cba73520db160020695f5ddb9d","datavalue":{"value":{"entity-type":"item","numeric-id":2734934,"id":"Q2734934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947468$B889D1A0-B22C-4063-AF34-F21E8D2B3EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2467f1b2221d034d0fe8a069e2133a347586153d","datavalue":{"value":{"entity-type":"item","numeric-id":598245,"id":"Q598245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947468$508C8CB5-2FEE-4853-8088-D7541EF27C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd95d79f3eab60665665be07e829d6169119f15a","datavalue":{"value":{"entity-type":"item","numeric-id":4091917,"id":"Q4091917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947468$C6CB84AE-56D9-4EE8-8376-EDDEE8D6F76E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d99c7f244c600607afce58286b675cb1cbea7c5","datavalue":{"value":{"entity-type":"item","numeric-id":3919058,"id":"Q3919058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947468$E2E8D070-63E0-4BCF-BAF8-38E83034D7A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c5f582c49adc7ab1bea1da8c1f66fd32514157a","datavalue":{"value":{"entity-type":"item","numeric-id":1391869,"id":"Q1391869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947468$1543CBA6-619E-4221-BF6A-E9F423BF6D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"608533bf3c2d046e29c46a84659be2d633077793","datavalue":{"value":{"entity-type":"item","numeric-id":1283821,"id":"Q1283821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947468$834CAB7F-412B-4B9B-9D3F-F40111C03DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a1bbbdd2bf867b36d5b17d9a471b2b35b1d3844","datavalue":{"value":{"entity-type":"item","numeric-id":2707234,"id":"Q2707234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947468$EE8AFCDA-5D29-4F1B-87B4-1EB83284D53C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3263043ecf9414221dbe18d3609c8447e66b9a62","datavalue":{"value":{"entity-type":"item","numeric-id":2973247,"id":"Q2973247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947468$3D77000A-D3E1-459A-A135-FA03E13FEA31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2b66eb27c29a2e62c71a6de37347f6f716f4df9","datavalue":{"value":{"entity-type":"item","numeric-id":2947468,"id":"Q2947468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947468$6C42903E-AD8E-48FE-8C9E-797B9A7802B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcfaf74bbe926c68a29f34b40e248bdae8e84ade","datavalue":{"value":{"entity-type":"item","numeric-id":1128480,"id":"Q1128480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947468$97EA6E77-836F-40AB-B5BB-59F805C91019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f98f126719b68597b44e044d77a74bbd4302cae6","datavalue":{"value":{"entity-type":"item","numeric-id":2257304,"id":"Q2257304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947468$4DE6A004-E5AB-47AF-9FAF-B585997A7974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b876c15c0308aeb389f6fca04c020ecbe45e1333","datavalue":{"value":{"entity-type":"item","numeric-id":2938139,"id":"Q2938139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947468$28547BE9-400D-4100-8154-71EF3AE5FA65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d332575dd1e03d3d97497607abbb55c868eb39e2","datavalue":{"value":{"entity-type":"item","numeric-id":1605173,"id":"Q1605173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947468$3AD38BBF-7C63-4D69-8C81-075D8EEDBD80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f7a9134e658e259af7b343ab5d0a31a19e0988","datavalue":{"value":{"entity-type":"item","numeric-id":686646,"id":"Q686646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947468$0FEA0393-5BEF-4946-A5D4-83F8C750BE1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb7e593dc711413de13eb5341cee7b5af247a9fa","datavalue":{"value":{"entity-type":"item","numeric-id":5277727,"id":"Q5277727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947468$14221B51-D781-46D9-BA29-7DB2024A0065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947468$F0AAA572-4E04-4D8D-91DC-3D2B593C13D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f91daa2195cbe510cefc59ffaafa18b1c28390","datavalue":{"value":{"entity-type":"item","numeric-id":4107888,"id":"Q4107888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947468$93EA2A4C-D0B7-4832-8D22-F456D305117D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70a7089e8efd68ebd839ec7dccad2f551fb7196a","datavalue":{"value":{"entity-type":"item","numeric-id":5277764,"id":"Q5277764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947468$48196B81-FC13-4B8D-8B13-C215BAAC528A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"478f5af44bb5b729ef7a1fa185223749da1c5134","datavalue":{"value":{"entity-type":"item","numeric-id":347388,"id":"Q347388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43e4d8feaffcc82d5fd224fc94395ab7f5b0b340","datavalue":{"value":{"amount":"+0.779240608215332","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":"Q2947468$CD8C67A4-AC0E-40AB-94B6-BF8E455EA38B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b890285938aeda7682b0476dca8dc68efddc9184","datavalue":{"value":{"entity-type":"item","numeric-id":5145643,"id":"Q5145643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aafa63453b0a0a238d0ab71cfd59a5d78b479de0","datavalue":{"value":{"amount":"+0.7675103545188904","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":"Q2947468$FD52D8E7-786F-45D4-92EE-D54EFAD87688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dbc171d2c3cf716d2d765716b15b3cf18935361","datavalue":{"value":{"entity-type":"item","numeric-id":2257304,"id":"Q2257304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a9c1d9d102c859e85a05ffe7de67fef40feced5","datavalue":{"value":{"amount":"+0.7568724751472473","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":"Q2947468$44EB457F-1B69-4A77-BC41-3282BEC9139E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cc57e69927ddebe60df9d3d3b06b7ff3453e4fb","datavalue":{"value":{"entity-type":"item","numeric-id":2753681,"id":"Q2753681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f75b075753ce8b65f3d44bad7c8ddf49bf8b4e7c","datavalue":{"value":{"amount":"+0.7535852193832397","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":"Q2947468$1E394B7B-4267-42F9-8DAE-B658706BCEBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bfb329c9da094d33335b71c94ab4533f7e87b78","datavalue":{"value":{"entity-type":"item","numeric-id":1391734,"id":"Q1391734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2700be9cf9ed13c3927b6a9ad29b92b60a7e3696","datavalue":{"value":{"amount":"+0.7421717047691345","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":"Q2947468$3257D932-C053-4906-A772-A2AB59166F70","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2947468","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2947468"}}}}}