{"entities":{"Q757360":{"pageid":759209,"ns":120,"title":"Item:Q757360","lastrevid":64107237,"modified":"2026-04-11T17:41:20Z","type":"item","id":"Q757360","labels":{"en":{"language":"en","value":"Non-well-founded sets modeled as ideal fixed points"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4191618"}},"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":"Q757360$7C9724EB-C496-40E7-B89D-BBF2523A4C25","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f7461b92c5a7d932ee18a9d9c96e4f39a5b717d","datavalue":{"value":{"text":"Non-well-founded sets modeled as ideal fixed points","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q757360$325D9E5A-AAEF-4844-BE66-8F1CD6090E49","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d2cdd67f7972702b59194fc67c68d3e98e440b0","datavalue":{"value":"0723.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757360$63FA7A00-B47F-4C84-93C1-59C31D5EA083","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"03786c6baefefaf384886722e86f9cd0cb89af91","datavalue":{"value":"10.1016/0890-5401(91)90051-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757360$7397E7F8-9941-41C9-83FC-9C8F06459C95","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f46a3e3c8a24b211e7440a6138147de4bc19693b","datavalue":{"value":{"entity-type":"item","numeric-id":581872,"id":"Q581872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757360$6AC49C35-E7E1-4973-8794-B74D9450DF2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f061899b2b82dcfb68452d0e393f9f5a06fe89d","datavalue":{"value":{"entity-type":"item","numeric-id":168598,"id":"Q168598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757360$4FA5412F-FC54-4FCB-A524-A4A36EC5AEE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b284835588b7f9d1305be10e0856ea84514c15c","datavalue":{"value":{"entity-type":"item","numeric-id":757359,"id":"Q757359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757360$9D7D8193-34FF-4C56-904A-4BE0327C97CE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757360$3AACDE18-C632-4D91-81A6-6873A47CBA53","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-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":"Q757360$FFEA3869-5CEC-40F2-8E2B-D81038F32AFB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"00bb25eedc240ed06b0aac4b5fe76808d9d6bc07","datavalue":{"value":"See the review of the preliminary short version in Logic in computer science, Proc. 4th Annual Symp., Pacific Grove/CA (USA) 1989, 263-272 (1989; Zbl 0717.03023).","type":"string"},"datatype":"string"},"type":"statement","id":"Q757360$50D61211-CC1F-478A-BF89-4F20A5C1167E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ade5de9b5f8ac4fa93618c0e9b5cef64dcc691b7","datavalue":{"value":"03E65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757360$A733CF91-CA6C-4487-954D-E10C60C17214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757360$F2465269-C66E-4592-87BB-19168C2CA8DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757360$60CA3872-6F1C-4CE2-B69B-F4C1804E30C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"67ff1b46a46914b59548e88c9248032201644e5f","datavalue":{"value":"4191618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757360$F479E2DE-E461-4FAB-A6D6-1AEA17BCEE0A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e1daee68cedeeadccdf496f924561e3065e4444","datavalue":{"value":"abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q757360$49E48670-5A2C-4929-AA78-24706F128EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"465f085b95b13610f0e4840fa8369965d610e336","datavalue":{"value":"non-well-founded sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q757360$17E0505E-2237-4E15-B074-15AB6FC5DDB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de769fe5994f28a966a7002fd4a892e397a62e00","datavalue":{"value":"fixed points of continuous transformations of an initial continuous algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q757360$41D80B42-C8BA-4BB2-BADA-601ACC2DB56B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e4ed92aebb28575ed2da9a2607f7390e63e7bb6","datavalue":{"value":"preordered structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q757360$D46A6081-5A0B-4C13-B767-BE1D6C43EF02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7932cca19bfa1adf489ab05f040a734e93076ac","datavalue":{"value":"well-founded, hereditarily finite sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q757360$4DF75923-7B57-4E2A-9B90-89E586066E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fef32a00519cc7792f8efc0d8761b4cded115c2","datavalue":{"value":"ideal completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q757360$FEC09651-44A7-40CB-9AA3-BA84A0BCEABC","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":"Q757360$1A5298E1-E76D-41CF-BF3B-7D1FAB16756D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"91ef9bbb021dcebe091d0b0d2d61e35aaf25f2a2","datavalue":{"value":"https://doi.org/10.1016/0890-5401(91)90051-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q757360$912F49D9-62A1-4738-B09E-BC2FB8E596A6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f9144ae0f355380d08c64d041cfcd9be8d6932c1","datavalue":{"value":"W2022120401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757360$046B3E72-10C9-47D6-B4F2-BCC48482E4F8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edbd4db20ecbcbb1c315d5320a38ebf3acfa299","datavalue":{"value":{"entity-type":"item","numeric-id":3992552,"id":"Q3992552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757360$9BDEF317-A94F-4276-8BA0-EA3ACA5B113E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0065dc8b5c25773ef1d9719266c7992d0edd4dd5","datavalue":{"value":{"entity-type":"item","numeric-id":4131619,"id":"Q4131619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757360$5ABB45A5-E077-461B-A816-1889B69CB78E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9ccc61efcb085fe3e872575861359d0883804f7","datavalue":{"value":{"entity-type":"item","numeric-id":3483262,"id":"Q3483262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757360$4E46F713-3E6A-4B04-8FC4-2CC04B2952BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9ad1ca0c030444e5bd3d91e22695ff17d7ccef1","datavalue":{"value":{"entity-type":"item","numeric-id":3898534,"id":"Q3898534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757360$8D920642-8F8E-424F-A748-D10548B32CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cc26e198a4995f2140e8804d52b9dbd9ccab02d","datavalue":{"value":{"entity-type":"item","numeric-id":5202184,"id":"Q5202184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757360$D819E42D-7406-4B38-BD97-0C5775988CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40072e6975582b3863aaff2391bb7dac9c1aa38e","datavalue":{"value":{"entity-type":"item","numeric-id":3997501,"id":"Q3997501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757360$4B312356-FBF6-454E-9B26-1B21E0474CA7","rank":"normal"},{"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":"Q757360$E4BB9702-2AFD-4A75-99E4-16A68CA6A29B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"744cab406db865ccb110f02c5ada09dbc53bd3af","datavalue":{"value":{"entity-type":"item","numeric-id":3204456,"id":"Q3204456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757360$46896A42-F45F-4491-8C50-EE2F22525CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c81072a6bb8c686efbf7a1a2a44993a96f683fcd","datavalue":{"value":{"entity-type":"item","numeric-id":1057642,"id":"Q1057642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757360$610714C8-0AE5-4306-81E7-C03A9DDAADB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a24bd10a27e1b8e759cf20e25bbc96fc409e8f8","datavalue":{"value":{"entity-type":"item","numeric-id":4127356,"id":"Q4127356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757360$1EE3556A-05F7-4BDF-879A-123E439A7EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11369978efa15dc62da89d10bfe437030b4aa86d","datavalue":{"value":{"entity-type":"item","numeric-id":3956379,"id":"Q3956379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757360$9F730AF2-8CA5-47E8-9B1C-847DB731365D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Non-well-founded sets modeled as ideal fixed points","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Non-well-founded_sets_modeled_as_ideal_fixed_points"}}}}}