{"entities":{"Q6560158":{"pageid":14171313,"ns":120,"title":"Item:Q6560158","lastrevid":55692391,"modified":"2026-02-17T21:07:00Z","type":"item","id":"Q6560158","labels":{"en":{"language":"en","value":"Incompleteness of a first-order G\u00f6del logic and some temporal logics of programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7869514"}},"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":"Q6560158$C03B7B6C-A1D7-4EE4-8555-71BD5DAE09C5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"feab98023172fdbb30bba128e675892e817e97e2","datavalue":{"value":{"text":"Incompleteness of a first-order G\u00f6del logic and some temporal logics of programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6560158$64004F7A-2728-47DF-9217-65B512FFFD36","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9dc1cdc928fdce5fe82fda8a5f1c62b9081c11db","datavalue":{"value":"1540.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560158$0C064EB8-42D0-4C5A-8771-822EEA077769","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3103f4a74364ee6fefa21123731845859600f069","datavalue":{"value":"10.1007/3-540-61377-3_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560158$09BD526C-79A1-4493-AF5B-38F48B07BFC1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec91c84374e1970ffeb850b5b07163b4a998968b","datavalue":{"value":{"entity-type":"item","numeric-id":167059,"id":"Q167059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560158$4C0AADD6-99EB-478B-95C1-A15B9BB2D39D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"53993ae6db4350dacb1d3d4f5370b18b73e58da6","datavalue":{"value":{"entity-type":"item","numeric-id":167060,"id":"Q167060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560158$430D1287-B96C-40B3-B217-BE8D807F36D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"37b019e89cb08882c4fda7783a360d1728596378","datavalue":{"value":{"entity-type":"item","numeric-id":288246,"id":"Q288246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560158$7905E05A-EF4D-4765-AC50-43D59EC5DB0E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8f537c6f80ef2272fb77fcdfce306448ca22994d","datavalue":{"value":{"time":"+2024-06-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6560158$12761C66-57CC-419D-B2BB-13A85FA577A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560158$ED850C84-FC62-4FDE-ADED-638966FBE689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560158$AA71E489-A526-4CFF-9439-78BF8B3E4F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560158$4B4194A1-168B-47CA-9941-92B4E6133E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560158$F79112DF-2D41-46FA-9FAA-4F5B15EA9228","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f37448cb34238c358819863ed6329594468ddc7","datavalue":{"value":"7869514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560158$D1CAE0C4-8D00-462E-B466-08182465304F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6560158$A4EFA7F5-F6E2-4F2C-93E8-A85238389675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e20caaf0551fe84fb69eae2f4da361eb77759b92","datavalue":{"value":"intermediate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6560158$AA931C90-921E-4A4D-BC3E-DD4186FA62F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b838261c78c4ae7442badafeb6cc147e9d09de5","datavalue":{"value":"many-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6560158$1E634C07-3ABF-47E7-A54F-556B0E937D9C","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":"Q6560158$BE1CA5A9-6FE8-4012-AF72-94968090FF64","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"165b65e137be5e7ee616ffc2e9e24def67d009c4","datavalue":{"value":{"entity-type":"item","numeric-id":4840168,"id":"Q4840168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560158$CBA80FCE-E123-41B3-9BD2-1E183D82289C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9ce02a475c71cc224d5f8cd28d7ab233b8d7b87","datavalue":{"value":{"entity-type":"item","numeric-id":1350524,"id":"Q1350524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560158$AB9F50E2-57A2-436F-B8CA-88B4E3969005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b870bd3f7616c2307692f727cad9b33e047b823","datavalue":{"value":{"entity-type":"item","numeric-id":3264226,"id":"Q3264226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560158$3234BE8D-E1D0-41FA-A0A2-1A0D0B7DE529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f19fa06fd5f5f17f6780c02c0b3bc22d261679c","datavalue":{"value":{"entity-type":"item","numeric-id":568066,"id":"Q568066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560158$A2446958-8C7D-42E4-AAD5-9F4BA1D7EAE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74833c204341d9aa9ef14997fbac19d0e7da176d","datavalue":{"value":{"entity-type":"item","numeric-id":3749040,"id":"Q3749040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560158$DF88D453-91E1-4FE1-AB1B-7BBA7B0CC763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bb963f0dbfd28b3eb0930566966152abf270c19","datavalue":{"value":{"entity-type":"item","numeric-id":915718,"id":"Q915718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560158$C8850470-7987-49C4-81CA-6BFF546A13BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09dc0d5696d284e011b1160682f6fe6cbc5590fe","datavalue":{"value":{"entity-type":"item","numeric-id":4275689,"id":"Q4275689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560158$8ABA09C9-8C3D-4D24-862D-98ECCB0E423D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"881ffbd377b5555af190ede35ff3772596d007ca","datavalue":{"value":{"entity-type":"item","numeric-id":3851085,"id":"Q3851085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560158$90C0CC1C-A95F-4363-8E63-24F843E262A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aaa7c2a801938246bc5b9c35ae533855c08aea3","datavalue":{"value":{"entity-type":"item","numeric-id":1090673,"id":"Q1090673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560158$4E1FE5DB-D1CE-4605-9C05-AFA3B2CDC157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d9456d9b3e59e143f5e55b694b92114428f6e73","datavalue":{"value":{"entity-type":"item","numeric-id":1123184,"id":"Q1123184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560158$DECBA2C1-7EC6-4B24-A236-96DD9CBDEC2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60bab06c6efc101c2c178c21ed15568782da3276","datavalue":{"value":{"entity-type":"item","numeric-id":3693510,"id":"Q3693510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560158$1C734D82-999B-48C4-945A-173216070B29","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c638b4c1f2bbf7de0d024f9c8a2b72fdbbe9911","datavalue":{"value":{"entity-type":"item","numeric-id":2370370,"id":"Q2370370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"902dcb96b81d9eac45b4fa42dfeb6ba46438df1f","datavalue":{"value":{"amount":"+0.8370436429977417","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":"Q6560158$02C78F05-0891-4CC7-BA9E-7C8316C1B79B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de04484ac7efe84ce866ef0f79be7e1aaabeaed3","datavalue":{"value":{"entity-type":"item","numeric-id":1123184,"id":"Q1123184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e36dc5bdb6241ae56e041c86c48afd3268259e7a","datavalue":{"value":{"amount":"+0.8026710152626038","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":"Q6560158$FB5E6813-102E-458E-BF64-E49BD3BB46A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"412f3b6cddef730dc4ebc4d23d96b8bda753925b","datavalue":{"value":{"entity-type":"item","numeric-id":1616771,"id":"Q1616771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ca77acc202392729eebdbb763a67d83ef19df9a","datavalue":{"value":{"amount":"+0.7970529794692993","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":"Q6560158$2355628A-5BEE-433E-A06A-B9F3310D45E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14f99d9245cfcbdf2c1764188bde5f5ead0d0eb7","datavalue":{"value":{"entity-type":"item","numeric-id":1350524,"id":"Q1350524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84e7af889188eb41673d83a43e2a5f72cc59327d","datavalue":{"value":{"amount":"+0.7884137630462646","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":"Q6560158$00973960-ABCF-4FD4-A445-CC5C34E87A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"081bd63286da1909b7245ea381f5077097f31ff7","datavalue":{"value":{"entity-type":"item","numeric-id":2913981,"id":"Q2913981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d3b63481194065d782e384ce182c5524d1733e1","datavalue":{"value":{"amount":"+0.7844679355621338","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":"Q6560158$E2ED7DCC-CB29-4B49-865C-43106DF41ED5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6560158","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6560158"}}}}}