{"entities":{"Q7323681":{"pageid":31355284,"ns":120,"title":"Item:Q7323681","lastrevid":105121939,"modified":"2026-09-17T13:18:35Z","type":"item","id":"Q7323681","labels":{"en":{"language":"en","value":"Inductive predicates via least fixpoints in higher-order separation logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8249904"}},"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":"Q7323681$D82729A9-F04A-46BE-8E0C-47E73349C2D9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"249dd4c8b70eec2813c12bbc77077408756fa990","datavalue":{"value":{"text":"Inductive predicates via least fixpoints in higher-order separation logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7323681$0DF0157B-5D74-411D-A501-785CB760E58B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1d559f0bd4a3f330436d1497fc8dae7a006459d","datavalue":{"value":"10.4230/LIPICS.ITP.2025.27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7323681$2FD00A98-1DD7-4BF6-A0D4-531D5FAE98A4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d784fe6cc5179886bfe36c86ddc8bdd92ade5a26","datavalue":{"value":{"entity-type":"item","numeric-id":549190,"id":"Q549190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323681$DB38B608-B329-4C8C-BD70-4E64D40084E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a2754b702c8a438d05ac2348eedeb993ef185ac","datavalue":{"value":{"entity-type":"item","numeric-id":7323680,"id":"Q7323680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323681$C1C0C307-3194-48CB-A773-BE1DA8F01BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99729ea5fbac2e397c47743039765083a0ae1bb2","datavalue":{"value":{"entity-type":"item","numeric-id":205581,"id":"Q205581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323681$4CF0CB50-E386-4096-A87A-8D7035BAA964","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"327bdfdabaae2e8cbc884e8efa23d5004f5f8802","datavalue":{"value":{"time":"+2026-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7323681$29086A33-AA83-4251-9F56-E0EDB2A9009F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7323681$0301524B-C21F-427D-A98A-57569107F59D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dfd227cdd518ebb0d9ee7744c751356b83866b93","datavalue":{"value":"8249904","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7323681$E6188522-E018-4385-A2B4-365B1FCAA869","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323681$1A642CDD-BF56-4746-B518-620DCA1F3294","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":"Q7323681$EB64BDD6-3C58-4A02-A0C7-9C129B138B13","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"db60aa38e98e0710c59268a6db48219f49912366","datavalue":{"value":{"entity-type":"item","numeric-id":3189790,"id":"Q3189790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323681$A93EA3CB-798A-48D5-9DB6-FB58AD50CC06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e395f99ef898b3d1ac8b5610cbfe789818b04301","datavalue":{"value":{"entity-type":"item","numeric-id":6829931,"id":"Q6829931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323681$C919817F-1433-42C6-8773-95AB8AD2BCBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e949d01eb7df08ca150012cd94d15a2478e4bc1","datavalue":{"value":{"entity-type":"item","numeric-id":2914751,"id":"Q2914751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323681$8465070D-E968-4FFD-B478-2FE0C779E21D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20edcd59bc17da043a934bc071def38938532f97","datavalue":{"value":{"entity-type":"item","numeric-id":4945200,"id":"Q4945200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323681$B3FC8368-2E9B-4F11-92A3-CC197E961C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c061d31b2ad1070c6417d39eb2aecfa3eccd84ae","datavalue":{"value":{"entity-type":"item","numeric-id":879367,"id":"Q879367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323681$E56D329A-27B4-498A-B440-387E7667AB7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"086fdbd21f473c213329b475c94f7dc23f61bf59","datavalue":{"value":{"entity-type":"item","numeric-id":1663238,"id":"Q1663238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323681$C2FFCD65-6B6A-48AD-85CB-6B3013BDB30D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"292d5c006305603ea251952b72b3907af5565470","datavalue":{"value":{"entity-type":"item","numeric-id":5176951,"id":"Q5176951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323681$A4B84B6A-2064-4F42-94E1-F8BFCE4A39DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94ee7b1670b832d84e63f3575192ff8a645b95bb","datavalue":{"value":{"entity-type":"item","numeric-id":670699,"id":"Q670699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323681$DA335E21-66FB-43EE-A968-504F0C69ADAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b02cebc44c2831878b18e904086383fc947d3037","datavalue":{"value":{"entity-type":"item","numeric-id":5417200,"id":"Q5417200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323681$0BB4E1B4-188C-41CC-B9D5-1966B1921DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be977a859de854f15077584bfba61ff5a85d99ca","datavalue":{"value":{"entity-type":"item","numeric-id":6854399,"id":"Q6854399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323681$755AE6B8-7B2C-4A9E-93E0-A52C7D7ABF45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323681$933C452E-32DA-4100-894D-63734FF7CBE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"541bc36e9357802534d1e52134710ec758d76fb7","datavalue":{"value":{"entity-type":"item","numeric-id":5753923,"id":"Q5753923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323681$CF78944F-974B-4C93-A2D7-6701582F8494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc1b22f5baf13e82191ad3bb21df49ebf4f88d1","datavalue":{"value":{"entity-type":"item","numeric-id":3460075,"id":"Q3460075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323681$352144AB-0679-4440-A420-6F32C8C056B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51ede735ba19d74dbf349d05af87190614f9def8","datavalue":{"value":{"entity-type":"item","numeric-id":4436059,"id":"Q4436059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323681$B5D14B5E-65E1-4FF5-B756-21A601C7DB6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d233e67344072737d280f066a9993fd208f9a94","datavalue":{"value":{"entity-type":"item","numeric-id":3024873,"id":"Q3024873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323681$4F08B8F4-DC99-46D5-AEA6-D87987B41F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f9e4d418853bd2f740df9013cb7e6d403808721","datavalue":{"value":{"entity-type":"item","numeric-id":2985775,"id":"Q2985775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323681$62A8A294-01AE-4448-8046-C00B847A9ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc39397aff1a518f386df54d5fcaaed065b005b2","datavalue":{"value":{"entity-type":"item","numeric-id":4625160,"id":"Q4625160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323681$5E2FE5F7-DE39-4DB0-B0A0-1A21042769E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e1620bc79adffbb9b0f00ce2b11a84d197fdf55","datavalue":{"value":{"entity-type":"item","numeric-id":2819854,"id":"Q2819854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323681$641A9063-50E6-4060-86DD-90B87D8E06C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3cd6358dcb28cea2cec01405ffdd7358d3571e1","datavalue":{"value":{"entity-type":"item","numeric-id":1440070,"id":"Q1440070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323681$B99D32EE-EF40-447C-A8D9-42A50BA3082D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed61338c8ff56191aea0588b04cb2088071ef44d","datavalue":{"value":{"entity-type":"item","numeric-id":2988664,"id":"Q2988664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323681$580A794F-8E1D-4DDB-864B-0988733AD630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3593a8185934efd3c3a0c5440c6a3f97f0809e06","datavalue":{"value":{"entity-type":"item","numeric-id":5370856,"id":"Q5370856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323681$F44B650B-81A1-4692-8142-902762A139B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87f7bcfffc49742b219cd84a695191ca8beef7cd","datavalue":{"value":{"entity-type":"item","numeric-id":5734774,"id":"Q5734774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323681$D71F89CF-CC62-4F87-861C-6F56B9577A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c7ec5a4eb06caee544452117e09ee8cc73eef23","datavalue":{"value":{"entity-type":"item","numeric-id":6091293,"id":"Q6091293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323681$D8C1694A-0ABA-41CA-BF94-D51EFB0EF52F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec596191c58c0192912d43559518df53cc026d8f","datavalue":{"value":{"entity-type":"item","numeric-id":879368,"id":"Q879368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323681$062E4F15-3C58-4C06-A81E-1497A0601349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"162bdd4df93f8ffd3483f8a1810ab35d50492908","datavalue":{"value":{"entity-type":"item","numeric-id":4262604,"id":"Q4262604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323681$D5B6448F-27F1-4588-B668-99B8AF17E461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb5c384f83cfe304bd792549ed6786939a461655","datavalue":{"value":{"entity-type":"item","numeric-id":4783297,"id":"Q4783297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323681$BCB070A6-146E-4FC7-B4C5-55A65BF4429E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9579a4ebc8fc362938d3ee4c1626b4dbb8862f2","datavalue":{"value":{"entity-type":"item","numeric-id":4281483,"id":"Q4281483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323681$EF0C7028-77F6-407C-AA11-4970DB108748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f52a135fa2cb9ae673692293b0336967bd5b19a","datavalue":{"value":{"entity-type":"item","numeric-id":5210768,"id":"Q5210768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323681$44040FC7-92EE-475D-8E75-A9B5FFFEB876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"352f7fce03df140efe1bf6ee86c2e7250270ba00","datavalue":{"value":{"entity-type":"item","numeric-id":5887516,"id":"Q5887516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323681$9D47D0CD-2953-469B-B469-96DB459092E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d91bbeb1156e1fea3f94efb60d9ffc9df5ab10c9","datavalue":{"value":{"entity-type":"item","numeric-id":6572569,"id":"Q6572569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323681$C4968A20-6C99-409A-996E-70CD8A0EE0A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fc734969332adab85b3154962e23089626b98e0","datavalue":{"value":{"entity-type":"item","numeric-id":3075239,"id":"Q3075239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323681$23B1A248-0F9C-4FE8-8E90-9519090ACA70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff7181965704e473c064c7d95f9f7f0b397f93f","datavalue":{"value":{"entity-type":"item","numeric-id":3543665,"id":"Q3543665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323681$84A198FF-F1EC-4C0F-868F-6C8EA1976647","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":"Q7323681$470D37A7-05C6-4120-93F3-001BD18970F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a2fc056175fb700aab013dfe495e26d2fc50887","datavalue":{"value":{"entity-type":"item","numeric-id":2988673,"id":"Q2988673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323681$C979958B-12FB-4F5C-95C7-E62E016E7AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f6bf9de9e2014e93e277e777180ed630b8cc1b3","datavalue":{"value":{"entity-type":"item","numeric-id":5875441,"id":"Q5875441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323681$09796823-7C32-43EC-BE49-1C1152A873D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2fa401b3f58fb4c2bc9ea2f71ee0d728db11587","datavalue":{"value":{"entity-type":"item","numeric-id":2986838,"id":"Q2986838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323681$75C3DB4A-D7C4-4517-AF56-8BF9F379B1A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Inductive predicates via least fixpoints in higher-order separation logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Inductive_predicates_via_least_fixpoints_in_higher-order_separation_logic"}}}}}