{"entities":{"Q3956390":{"pageid":5986295,"ns":120,"title":"Item:Q3956390","lastrevid":55099318,"modified":"2026-02-03T16:26:53Z","type":"item","id":"Q3956390","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3776849"}},"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":"Q3956390$90A86E50-5F04-4617-AC5C-A85FDEDAADDC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f98003fb95154139d5ac293762fcb7efc7af29b3","datavalue":{"value":"0493.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3956390$E967E6ED-0D44-4BF6-B380-DBAB940DFE15","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"857c2c80c4cd84e545d0cc0f92387a21b7c9d079","datavalue":{"value":{"entity-type":"item","numeric-id":227769,"id":"Q227769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3956390$7333D96B-592D-4407-AAF7-728C3183D84D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3956390$B6D3E801-81DE-4AA2-948F-F4BAD20C6086","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3956390$A969E050-9F2F-4CA3-927D-714E3FF3E5FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3956390$DB29DCCE-E5A7-400F-A13E-BA59FC611010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3956390$F8E50DC4-611D-487A-896A-1CCBFEAAF95E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"916ff6a91fa0c5aef85b898c6e4a1153b0764254","datavalue":{"value":"3776849","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3956390$6FEF9404-6F71-46DD-96AA-FA34A1EA726D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3956390$D098D1B1-79D4-490C-A504-4D018352F366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aed265d997502aa01ba7f7932ba85581547edccc","datavalue":{"value":"lattice of logics of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3956390$F8ACCC61-3CD1-4C5E-8396-BBDD10735E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d0fe2e8c9af4fc92a6f3ea40d34060864f342b0","datavalue":{"value":"decidable proof concepts","type":"string"},"datatype":"string"},"type":"statement","id":"Q3956390$5089A09E-94CB-403F-B5A9-33B7F90BD156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c545a6d029705ad9a6670c36e7e8e69f4065e692","datavalue":{"value":"ultraproducts","type":"string"},"datatype":"string"},"type":"statement","id":"Q3956390$B7B0DD3E-A987-49C2-ADD6-4237B64AA4BD","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":"Q3956390$8B4D91CA-D641-45BA-AB1C-B232EFE8D87D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3956390","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3956390"}}}}}