{"entities":{"Q4742767":{"pageid":6772347,"ns":120,"title":"Item:Q4742767","lastrevid":34678389,"modified":"2024-06-13T16:07:47Z","type":"item","id":"Q4742767","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3797730"}},"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":"Q4742767$F3343D80-E7F4-4FFD-91BB-A724D444CD78","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b2deb57afdb829331aec5e6a5f0b3d93d5f62b51","datavalue":{"value":"0506.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4742767$B71EA9C9-AD11-47E5-BE56-277B05FA1644","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5d81225bab06711ff25835b9a7685484694bbb1","datavalue":{"value":{"entity-type":"item","numeric-id":266879,"id":"Q266879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4742767$29F42D4C-13FC-4090-968F-F7ABBC356C78","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":"Q4742767$37B2AB19-3B3E-49A4-9743-5140B9845180","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"90842ed459f7f9dcfdc6d25222cf7fa9dee54e66","datavalue":{"value":"https://eudml.org/doc/92170","type":"string"},"datatype":"url"},"type":"statement","id":"Q4742767$CD4449C7-1D35-427B-9672-3ED1E8EABF46","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4742767$6C185095-20F3-4EE1-8FDE-AE7C651968EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4742767$0BBF4098-D306-44D5-960A-1ECDC5ECF500","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4247375caeb3a1a8f3abcf9efa2cdfbce2042a0","datavalue":{"value":"3797730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4742767$408D954C-A287-4410-B431-D77B5700D700","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51c6159aac1fede2c0841626a95cb600a7f09b39","datavalue":{"value":"termination of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4742767$62F8A488-78D4-48E7-8D5E-3021FEAC521E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35716c4b112327fcf0484a65609a56a8547f6cc6","datavalue":{"value":"modal formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4742767$4E74DEE9-FA5B-4439-9AA1-895021BF5F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c2ac2883b93bc6d38f9b54353e42de243081356","datavalue":{"value":"propositional modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4742767$30E1104E-D088-4418-A50B-856FD28CA26A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cc2caa0a342ca8b67b936ebf00be01020f3dda6","datavalue":{"value":"invariance","type":"string"},"datatype":"string"},"type":"statement","id":"Q4742767$0D00949B-DB3E-492E-973C-0169046F47AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb997c65ada16f116c731965391ae89cd48da60a","datavalue":{"value":"eventuality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4742767$08AC6E62-5B41-4176-9B5A-F976CA611D53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"284d49bede33bc43198f9780c2fcc998d14125e1","datavalue":{"value":"temporal operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4742767$6DF409D2-1123-4384-A061-215B91143018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b3b484bb6f0dddb57c90f4d11a46f937ee51725","datavalue":{"value":"automatic theorem-proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4742767$299747F3-1FEA-4637-BB02-B633AC3E6EFA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"da6bc051938d5862ecc3ebc01e193003a6091021","datavalue":{"value":{"entity-type":"item","numeric-id":33292,"id":"Q33292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4742767$17FBEC8B-ED59-4A87-8643-F05853026F9E","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":"Q4742767$64C7F760-3881-4E9F-9192-1F5E21F551EE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbf17ee452bd9fc3414aba44bf8cd79910caf84f","datavalue":{"value":{"entity-type":"item","numeric-id":4130974,"id":"Q4130974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4742767$BAAE3F98-1443-4FD4-8C41-6E5E47EAABB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77daa80082c8ea39f5568f105338e0529e0b914b","datavalue":{"value":{"entity-type":"item","numeric-id":4138082,"id":"Q4138082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4742767$0469DC85-CECE-46CF-AD7D-EC89DC55F810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d346d8485da0bc889f787fa277d331b616d4df2","datavalue":{"value":{"entity-type":"item","numeric-id":4054648,"id":"Q4054648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4742767$95777670-436C-4FE5-97E8-6833BA3BB015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e69f37522343abd35ed025cc512dd2a67e21c314","datavalue":{"value":{"entity-type":"item","numeric-id":5842291,"id":"Q5842291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4742767$787EF3BC-3C55-46D0-8075-045E59449BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d2dc7428a701302ee60a912ba787cecd46fa536","datavalue":{"value":{"entity-type":"item","numeric-id":5600863,"id":"Q5600863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4742767$C1D0E105-9D87-4AEB-9BB9-A68B79AF6793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02721130b982b240bf264ddd8374d775516a9010","datavalue":{"value":{"entity-type":"item","numeric-id":3883458,"id":"Q3883458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4742767$BF86EEE2-3B9C-4380-9292-55490B13C3EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c33f86a2eb1bf18538cbb0708a6c0704b31c5228","datavalue":{"value":{"entity-type":"item","numeric-id":3680806,"id":"Q3680806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4742767$6506AC4A-2F07-4782-8DDD-A8DF0ADE1BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4742767$2E7A0F11-3EC7-45F1-B97B-F128EDB91457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5710cd0fb8b5907d40eeada6e14d4018e26669a5","datavalue":{"value":{"entity-type":"item","numeric-id":1255942,"id":"Q1255942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4742767$3B0F2DD2-6C8D-455E-A720-7706A8EB5F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4742767$A46C8D33-D08B-4605-87A8-F3CFFF89348A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17da60b7f6b4e22bbe7045d12697c8bb0702b06","datavalue":{"value":{"entity-type":"item","numeric-id":5604443,"id":"Q5604443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4742767$EF1CB7FE-4DC9-4B27-AA31-6E110DD96BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07116ceefeba08b4048eac03ce0bdd36a0c65f15","datavalue":{"value":{"entity-type":"item","numeric-id":1234163,"id":"Q1234163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4742767$B7494A32-63AA-4AF6-9C15-9BB74294E83E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"347d29e996c39e4cc586a6928deee75fd423a34b","datavalue":{"value":{"entity-type":"item","numeric-id":5594890,"id":"Q5594890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4742767$3EA03440-BAA5-49EC-B52F-B197779708B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56485b9a4814bcf88c5da509c43cc487af1d7b47","datavalue":{"value":{"entity-type":"item","numeric-id":4144164,"id":"Q4144164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4742767$9073EF5B-FB99-4FB1-8BCC-3DE23A52F17C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3466d2ef701b6bbcd5ce1c2a43bbc5e1384e32a","datavalue":{"value":{"entity-type":"item","numeric-id":1243273,"id":"Q1243273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4742767$41E5C839-B1C6-49BB-ABEE-37BA6A448275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c3a48dc71ab7bc77b1ce9ffe6a02b960104792e","datavalue":{"value":{"entity-type":"item","numeric-id":5796041,"id":"Q5796041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4742767$C8077AEB-2C63-4DA8-956A-D06A8E4119E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28dc7df3166e70cade3a9ca1ab31eb58fa2a10d4","datavalue":{"value":{"entity-type":"item","numeric-id":3925897,"id":"Q3925897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4742767$1E737EC0-2FFB-477F-96FF-2605FC0C6A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0bcfdc9afb1ebcba4e63340e62de13d12be617c","datavalue":{"value":{"entity-type":"item","numeric-id":5776903,"id":"Q5776903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4742767$B7A4F29D-2971-4CDE-A841-09F2954D4D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4742767$CCFF8044-6DCB-4DC5-A98B-C455713D5517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4742767$5DCC60AF-2FF2-4F8B-B33E-9B0B52F65942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c417924a46f5e00f10bb7b003d8951d6cdf42c1","datavalue":{"value":{"entity-type":"item","numeric-id":5596237,"id":"Q5596237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4742767$D4E5A48A-55A1-417B-8391-16C57EAD6FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c3e727c706f659a8e4994c773e6a5f25e57c9d6","datavalue":{"value":{"entity-type":"item","numeric-id":4188712,"id":"Q4188712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4742767$D8A092E0-D13B-4066-A700-C1A33523D893","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4742767","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4742767"}}}}}