{"entities":{"Q2510768":{"pageid":2521511,"ns":120,"title":"Item:Q2510768","lastrevid":73511742,"modified":"2026-04-14T16:16:53Z","type":"item","id":"Q2510768","labels":{"en":{"language":"en","value":"A survey of predicate realizability logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6324480"}},"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":"Q2510768$D523612C-5E8C-4A3B-B1C6-051A7E51879A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc1aac0c2bfe9a0553ab3dc1ebd8977d5797a552","datavalue":{"value":{"text":"A survey of predicate realizability logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2510768$F877D41E-13AA-40F0-81CA-1713E17F0026","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7fbb357e96b4aedf8073c3553bcc9fb91b67e6ed","datavalue":{"value":"1294.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510768$EAE26BF9-A358-4D46-AEA9-5D8B9F51F436","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d3a9436d0325aa39a6ffc7f815379084e9eaca69","datavalue":{"value":"10.1134/S0081543811060137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510768$8056440B-0B74-4B40-B1E9-B2E277FF43D7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ffeb8d8d53f1688b52e59a3bd6e2ef5bbd376da","datavalue":{"value":{"entity-type":"item","numeric-id":2510767,"id":"Q2510767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510768$258F3F27-4C2A-40F3-A8D4-5526076B7DD5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52ab463cca8ead400441fcc2b4fac1f6fbb55915","datavalue":{"value":{"entity-type":"item","numeric-id":251486,"id":"Q251486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510768$466B3C8F-F595-42A1-8858-1E16193B8724","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"686f5ff8c01ac348f9dff34f0e2ff55a4d09a386","datavalue":{"value":{"time":"+2014-08-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2510768$5E1C7BD0-4070-4E02-8A45-4403140B3BDD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510768$67BE418B-4F12-43BB-8CCC-4CA39091121B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510768$C10FE8DC-3AC6-409A-A698-EFA04DABAA46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510768$8BA339C1-7F3B-476C-A0FD-FC304BD9F7FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"66147296dbbff65cc147c69d478c156905e45a93","datavalue":{"value":"6324480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510768$6FA751A1-4469-4FAE-A026-3D86EE49679E","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":"Q2510768$EF5A1701-7708-4169-BE85-BC71BC5FF4F6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d357a47c04e8c031646a6927518ecdcc37982e0","datavalue":{"value":{"entity-type":"item","numeric-id":3262780,"id":"Q3262780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510768$19E2AB03-4857-4BE6-9CE4-03AF520D593B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59cddc8aeb3b3e5ba305f9fcf5846cb516ed0222","datavalue":{"value":{"entity-type":"item","numeric-id":3880841,"id":"Q3880841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510768$60E838EF-47EF-4B43-A860-16322D4E2E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bee85f15db819554c5cddfac8ba3f64f52efb0bd","datavalue":{"value":{"entity-type":"item","numeric-id":3958432,"id":"Q3958432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510768$82235FCA-CF73-4797-A48C-7D9C505CE946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"763d0d4700e7c061198ed172616dd14717b997ca","datavalue":{"value":{"entity-type":"item","numeric-id":5677468,"id":"Q5677468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510768$33FB6D17-B99F-4AB2-B898-E41CF2438D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cba0a2613e70bea519fcc9d7814c8434344ce14e","datavalue":{"value":{"entity-type":"item","numeric-id":5626609,"id":"Q5626609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510768$B0E614D4-C52C-49E7-8A9C-A46B39F642A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510768$6862E796-0281-40A3-90BD-85E5881E711A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"614b71954a0ae85eb93c4fcefd98af34834e8bf3","datavalue":{"value":{"entity-type":"item","numeric-id":5756145,"id":"Q5756145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510768$65ED08C0-4447-47F8-A7A5-4901AE147C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a9e9cd00bd888e0c2ec3144ef21f154ae7d49a0","datavalue":{"value":{"entity-type":"item","numeric-id":5573370,"id":"Q5573370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510768$F1A13578-CF52-43DF-9929-40621651BD58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c8ca8cf51ef97c1a3e57118457a1da4e8c18ee9","datavalue":{"value":{"entity-type":"item","numeric-id":5829025,"id":"Q5829025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510768$E35E9C49-03E6-499F-9E5F-B92DDBF7CFFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba0bc0e545823b475e6eb392b203b9167a81a76f","datavalue":{"value":{"entity-type":"item","numeric-id":4047525,"id":"Q4047525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510768$7E82E026-8DBB-40AB-A64D-4BFF57738558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18c1213895221a2830629fc6564df37c8298055b","datavalue":{"value":{"entity-type":"item","numeric-id":4053615,"id":"Q4053615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510768$09441D32-AB00-4299-89EB-F34F6A5117BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16bf812c2b69c92ff0425718e7bc841118b4f467","datavalue":{"value":{"entity-type":"item","numeric-id":4161322,"id":"Q4161322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510768$B01721C7-EC17-42E9-BBCB-51A196A99020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d8694aef156ed89f7a3aae092fe95f095e29d7e","datavalue":{"value":{"entity-type":"item","numeric-id":3048831,"id":"Q3048831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510768$B1A61E19-1E84-4882-8D42-6D795C0DD570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12991075e245849019cbc6cda9fe67317dfd26e0","datavalue":{"value":{"entity-type":"item","numeric-id":803126,"id":"Q803126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510768$0771CE16-3B21-46FC-80B8-14881390ABB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30d1c2111465a1f072531a971f14e4c0acf17668","datavalue":{"value":{"entity-type":"item","numeric-id":1179647,"id":"Q1179647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510768$46720395-0B7E-4BFE-B586-C25027D72AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0374b53c496cfb84cfb231c09e5641f4b4790afb","datavalue":{"value":{"entity-type":"item","numeric-id":3362716,"id":"Q3362716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510768$355D0D75-F625-4ECE-AF68-7F49BE028411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37496b5848811e54460ac8caea7fb89a7973af1e","datavalue":{"value":{"entity-type":"item","numeric-id":1274048,"id":"Q1274048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510768$B26AEF1A-3F1F-4A38-A083-D576F120AB72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68478ed366c979362b6a7def291a79371776dd96","datavalue":{"value":{"entity-type":"item","numeric-id":4761670,"id":"Q4761670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510768$26F01FBD-DA1D-49AC-8FE4-4C2FB941612D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1dab648496c416d1d96251780dae8701015dfe2","datavalue":{"value":{"entity-type":"item","numeric-id":4815986,"id":"Q4815986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510768$3534D731-06C7-4286-8DAF-9B0A5E405A45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13857a79f2b0ceeb7160eb3c26387464f4238c09","datavalue":{"value":{"entity-type":"item","numeric-id":4761629,"id":"Q4761629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510768$AAC76628-2145-4D85-9844-B5C2E7188DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f231c78aee0a9996d37683e0e5678e6c7352ac95","datavalue":{"value":{"entity-type":"item","numeric-id":5843995,"id":"Q5843995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510768$43D4C96F-48DB-4489-9124-A709180B7888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"feb939a44a61fe0afdb14d7100fb423d834c47e3","datavalue":{"value":{"entity-type":"item","numeric-id":5343334,"id":"Q5343334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510768$A7F94275-9E32-4BF4-9E2C-A59BBD387A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b510ce4b4614eb45ed95a467f95aa47f603ad1a","datavalue":{"value":{"entity-type":"item","numeric-id":5833219,"id":"Q5833219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510768$8B6E6607-B16C-427B-8E1B-810CD6A253FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4941a4cf11e26cb859a5261eaf674df643e376f","datavalue":{"value":{"entity-type":"item","numeric-id":4369426,"id":"Q4369426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510768$9B95D24F-0B4D-40A7-A63C-45D767504344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"165e54cc7dde2e224c38dc204c922dc68540b598","datavalue":{"value":{"entity-type":"item","numeric-id":3569756,"id":"Q3569756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510768$1A5855C8-F9B0-4A78-97FA-8328329F437B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b069134822651b3e85bdd1845d61b663e46f8dd","datavalue":{"value":{"entity-type":"item","numeric-id":3616428,"id":"Q3616428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510768$A3BC7076-ACFC-43B4-A21A-C08DD56E8E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ad78f0c9eae65d440bef225de3d19917af4dc15","datavalue":{"value":{"entity-type":"item","numeric-id":5822056,"id":"Q5822056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510768$557BE00D-0D7A-4132-BFE1-99427F3D0A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08c1b8781fe333767f649823ee4255cded49c920","datavalue":{"value":{"entity-type":"item","numeric-id":866492,"id":"Q866492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510768$ED92846A-F1C8-438B-9491-6FDE23BE4FA7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A survey of predicate realizability logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_survey_of_predicate_realizability_logic"}}}}}