{"entities":{"Q436331":{"pageid":438098,"ns":120,"title":"Item:Q436331","lastrevid":61814466,"modified":"2026-04-11T01:51:20Z","type":"item","id":"Q436331","labels":{"en":{"language":"en","value":"Finite satisfiability for guarded fixpoint logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6059114"}},"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":"Q436331$EB3147F5-EC9F-497F-82D6-55CF39DCFBE1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d14cf8a98eadd988c14fb3a306fb29b8529de546","datavalue":{"value":{"text":"Finite satisfiability for guarded fixpoint logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q436331$287E3DCC-09A6-41B2-9A0A-29CF3A7E0538","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a4fe5872285721a00f31232af06ec14fea3b3cf","datavalue":{"value":"1243.68191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436331$2E722075-6BFA-4BB4-98B5-B138CCA711CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"74667561feb4b78c28b4baa6c38c20977b8ad8d8","datavalue":{"value":{"entity-type":"item","numeric-id":436330,"id":"Q436330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436331$B80795A8-BE1F-4236-9872-B483ABB9A1D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f5b3c3247f723a8dd053286a58f85570c0f08c2","datavalue":{"value":{"entity-type":"item","numeric-id":290907,"id":"Q290907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436331$A12EC3B5-462F-41F8-A053-6BF921CEC8F5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436331$970DC4F2-C785-485D-8911-D1AC6A7897F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f68cb3c87baf768a64bd6e3aa1148be541c492c4","datavalue":{"value":{"time":"+2012-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q436331$A6815A71-5F20-4156-B112-B6B92C444B1E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3bd18cc478592f902e35645f3521e04b2ae32b52","datavalue":{"value":"https://arxiv.org/abs/1104.2262","type":"string"},"datatype":"url"},"type":"statement","id":"Q436331$90C90357-0B54-4082-A701-BD1479DAB5E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436331$8BAEE2D4-FD3B-41B8-843F-FD17DC689F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436331$233CB96C-D27A-47B0-93F1-3B9F33C695B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436331$E79D8D6B-491E-45CB-92F0-AE3D0F412B65","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"53f6034b9b466a981cfb99ba4be33b1904072ea0","datavalue":{"value":"6059114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436331$83CD19AB-E7DA-4EEC-9C23-243A2C13BB4D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q436331$65C0F74F-8527-48D4-AF92-FA3EEC6BEC6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46cacea7dcf4d7bc803743d9b6041adf255334bb","datavalue":{"value":"guarded fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q436331$43980C0C-2C31-41C7-976A-885301A2A5A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7baf88f57913e20bfd9931701d19665e0e8a65b","datavalue":{"value":"guarded fixpoint logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q436331$8501BF9D-D98E-4F51-9AEC-6D1298243EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"352e0e98b1946578a4d14d613a018d2c7e6139e7","datavalue":{"value":"finite satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q436331$C0924C6E-C9B7-4E19-9866-F5DA41B27EBE","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":"Q436331$AF6994E7-9032-4329-BD9D-028A284BC519","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"46b647e79d68ef09b8fde503aa054619bf3677bb","datavalue":{"value":"W1749183653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436331$059D0892-BD72-4A9E-8C91-FD34DA027D33","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a49b20b1506647b1c87e6ed6310fb943dc6407f8","datavalue":{"value":{"entity-type":"item","numeric-id":1267082,"id":"Q1267082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436331$6137F233-CD74-4ABA-BDC3-B46F8320568D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dfd99f7406911f4e1a2982cc954412d01cd0ae6","datavalue":{"value":{"entity-type":"item","numeric-id":5417742,"id":"Q5417742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436331$7B6B6AD7-CBE9-4B68-A60C-764267FC1303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b220880797c6280b7f700f0ab5b37f125c36d5ee","datavalue":{"value":{"entity-type":"item","numeric-id":4737212,"id":"Q4737212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436331$65C5E63F-5E36-4E8F-9412-B6D9D33DE3AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c81c210aa51b53d004ca3564c20b46519be31e0","datavalue":{"value":{"entity-type":"item","numeric-id":4948538,"id":"Q4948538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436331$EFCF4102-BDC5-47E8-A7E4-5FEABB15D6CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76b5b7aba87383fd08faa4de788adb1a1c64f6a5","datavalue":{"value":{"entity-type":"item","numeric-id":5738962,"id":"Q5738962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436331$982C880C-E735-4AA7-A5A5-8917CCD87E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecbc0c3a12971b32d2a5e262ccdf452b1e8ca37d","datavalue":{"value":{"entity-type":"item","numeric-id":4219045,"id":"Q4219045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436331$8AB2FD84-C465-4108-B5D9-2C4E8A0351C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ceaa37cb60c888d2db8d6a46e15ae74bf4081e3f","datavalue":{"value":"10.1016/J.IPL.2012.02.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436331$E40F09FD-6ED5-4841-988E-DCCFF56D3070","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite satisfiability for guarded fixpoint logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finite_satisfiability_for_guarded_fixpoint_logic"}}}}}