{"entities":{"Q6174526":{"pageid":13309414,"ns":120,"title":"Item:Q6174526","lastrevid":58751112,"modified":"2026-04-06T14:23:41Z","type":"item","id":"Q6174526","labels":{"en":{"language":"en","value":"Railway scheduling using Boolean satisfiability modulo simulations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7728836"}},"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":"Q6174526$266524E4-8248-4C1A-A072-1D67F4ADB690","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"502c1456df01ee41492e19c7efcb07f0446db473","datavalue":{"value":{"text":"Railway scheduling using Boolean satisfiability modulo simulations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6174526$8C55676A-F83C-49B8-8F1E-3396125EEF2C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"83cac3acd033937cfe1de90779ebedf888db4db7","datavalue":{"value":"1529.90042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174526$BAA01F8A-1C67-45E5-8687-B53945E6BE33","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f55bd5197437dfa037d129fc13972151d6cf5aa","datavalue":{"value":"10.1007/978-3-031-27481-7_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174526$4DE50B21-7C52-4D7D-9477-B5F934B893EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd43285670808ada2a0705e1601885ac619a3386","datavalue":{"value":{"entity-type":"item","numeric-id":6174525,"id":"Q6174525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174526$9903D2EB-0AC4-4618-9041-41B47D1F7167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e504e5c78f160847d88d111e5ab65b0189aa771b","datavalue":{"value":{"entity-type":"item","numeric-id":389833,"id":"Q389833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174526$9D3B9B5C-593B-4738-93FD-D5552109F6BF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e94b967ae8cf6f3b704a08992f5caf4130874d09","datavalue":{"value":{"entity-type":"item","numeric-id":5918261,"id":"Q5918261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174526$28819605-5C4E-4CA4-96E2-A9F7D6E74867","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"441006eb796e3a3facfc20a479629ee7d34004ed","datavalue":{"value":{"time":"+2023-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6174526$227DC4AD-A0FF-4B7F-91CF-2D42B47F623E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bd1f61600466f3ef25b032e88f3f9cb63eda0d03","datavalue":{"value":"https://arxiv.org/abs/2212.05382","type":"string"},"datatype":"url"},"type":"statement","id":"Q6174526$B3F19DF6-7D0F-4293-88B5-A5FF0E42044A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b7ffcab9ce53e90c8627cb2c3bb400b94a5f354a","datavalue":{"value":"90B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174526$74BAFFDE-7400-4383-BFC0-5909220E1307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174526$22CDD85B-6452-4A47-ACA7-0B2B676BC1B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174526$01EAC8F1-0C2A-46E8-A59F-54CDC5F5D7E5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c1fb9bd3121aa4f40013a441e3bd1f48ae28517","datavalue":{"value":"7728836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174526$A608E714-77C9-4C0A-9D73-05BF79501731","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":"Q6174526$7B81C084-0FEE-4E9E-83C5-EE1F13A512F6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d9f93246e25fc393e2de13252103409dfecae40","datavalue":{"value":{"entity-type":"item","numeric-id":2124435,"id":"Q2124435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174526$BCB5118C-7561-4200-A9AA-A786BEF94BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e874a4b1db34057d201b0e3598ecc942c1234aae","datavalue":{"value":{"entity-type":"item","numeric-id":5384983,"id":"Q5384983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174526$413E60D4-1351-4A30-B58C-E20BFA4499AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f93a1a97b7d63078cdd8b8f03b4b0eaa2eacc4a","datavalue":{"value":{"entity-type":"item","numeric-id":3095239,"id":"Q3095239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174526$539257BB-5FBD-4718-832F-DDED05CD923D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe33bf4e1ec51f59c09f65752ea810761eb09a2a","datavalue":{"value":{"entity-type":"item","numeric-id":4928439,"id":"Q4928439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174526$D08DB7F8-FF4C-4AA0-856F-A8643D8F3572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174526$575CC2E4-5A55-4BEF-BE24-08367A41777F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2956799f98b92d27152375e232c2872815924179","datavalue":{"value":{"entity-type":"item","numeric-id":475174,"id":"Q475174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174526$12B73E24-478A-401D-9357-BB38103896B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0e1879dc81410a0998e822384d68f0a7d8aa867","datavalue":{"value":{"entity-type":"item","numeric-id":5171826,"id":"Q5171826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174526$18B63508-657B-43E0-A482-162AC5611C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81c0899ebf9ec6e05dc3d0c106cfe2eb4628fc05","datavalue":{"value":{"entity-type":"item","numeric-id":6487261,"id":"Q6487261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174526$F169CD85-9822-4035-8CFC-4B8B64C3248D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8105ff22931c8a1e895d32e1ecf8715119d56b4e","datavalue":{"value":{"entity-type":"item","numeric-id":2371354,"id":"Q2371354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"114f9ae18ba9a4f04d50829ae87ec3da99b6ab08","datavalue":{"value":{"amount":"+0.8957772","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6174526$7F127A54-2B67-4ED3-A6F9-3F52C097FCB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"314a13baec162208d94e6e43a916e5e917136ee8","datavalue":{"value":{"entity-type":"item","numeric-id":753674,"id":"Q753674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f208f829827f034f8ef76d08ac921b099c742711","datavalue":{"value":{"amount":"+0.89332795","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6174526$FE89DDF2-CFA6-429B-8643-777C2E863A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1218eb607be1243f64d317bf0349ef4dc9d3b3b","datavalue":{"value":{"entity-type":"item","numeric-id":3525414,"id":"Q3525414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4122d1b9ecf990b0a10ff9a6bb451dd1076e657","datavalue":{"value":{"amount":"+0.8891714","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6174526$8AA41004-DF31-4ADF-9AC4-2DE7DB891950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81c60c41e1abc60a76ebf46784fad86cee7e9898","datavalue":{"value":{"entity-type":"item","numeric-id":3430084,"id":"Q3430084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec239ac62bd910546c4228eff88cd76c7453c05b","datavalue":{"value":{"amount":"+0.8872073","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6174526$B7C4512D-874F-44FC-8AB8-F615AFC2E72B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e66b918013f11be25d8769e4065d1a5f4c01a968","datavalue":{"value":{"entity-type":"item","numeric-id":3635144,"id":"Q3635144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3a88293ee00b4823d5d967bb05c698db428a8c0","datavalue":{"value":{"amount":"+0.88360715","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6174526$AADB21C6-0F52-4359-AFDC-4C52AD9E36E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e20efcda0fd01fd35af8f5461b6193a06a9a975","datavalue":{"value":{"entity-type":"item","numeric-id":3585089,"id":"Q3585089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2aaa2f16ada2d6223ca39035a9fe43137cb713d4","datavalue":{"value":{"amount":"+0.88319874","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6174526$BB130DBA-90D1-4A10-A876-4CF36C1A4ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89b9e5766787b16df09f423f90506b00bbe85405","datavalue":{"value":{"entity-type":"item","numeric-id":2917367,"id":"Q2917367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ef9b1a50d406c784da4fddc28cc83dd6d717a70","datavalue":{"value":{"amount":"+0.88280296","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6174526$FAF1D1AD-DF2F-413A-9335-22DBAC6CAADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b12bfa403b9eedb01c1e5457a0459f4f801cf53","datavalue":{"value":{"entity-type":"item","numeric-id":2783825,"id":"Q2783825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46d3b6bb9aba100df28fc87a92a38233d26af3d4","datavalue":{"value":{"amount":"+0.88264275","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6174526$9C393915-8843-4585-863D-26890DBF2D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aef48134c6bcd9e31daef6101999efac2c5f80fa","datavalue":{"value":{"entity-type":"item","numeric-id":1022444,"id":"Q1022444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"703e2f5830d7070372de5b906f9994594348925f","datavalue":{"value":{"amount":"+0.8779137","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6174526$65685ED1-8DEA-4D7D-8254-4D2ECDAB6B4A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6174526","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6174526"}}}}}